diff options
Diffstat (limited to 'src/userprog/start_recursor.sh')
| -rw-r--r-- | src/userprog/start_recursor.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/userprog/start_recursor.sh b/src/userprog/start_recursor.sh new file mode 100644 index 0000000..ed80e1a --- /dev/null +++ b/src/userprog/start_recursor.sh @@ -0,0 +1,6 @@ +make -j4 +cd build +pintos-mkdisk fs.dsk 400 +pintos --qemu -- -f -q +pintos --qemu -p ../../examples/recursor_ng -a recursor_ng -- -q +pintos --qemu -m 128 -- run "recursor_ng pintosmaster 6 1" |