From a884cdcfede366836d1db97f81a8674cf785f674 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Mon, 15 Mar 2021 12:06:25 +0100
Subject: prepare lab 6 scripts

---
 src/userprog/start_recursor.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)
 mode change 100644 => 100755 src/userprog/start_recursor.sh

(limited to 'src/userprog/start_recursor.sh')

diff --git a/src/userprog/start_recursor.sh b/src/userprog/start_recursor.sh
old mode 100644
new mode 100755
index ed80e1a..6f5e99b
--- a/src/userprog/start_recursor.sh
+++ b/src/userprog/start_recursor.sh
@@ -1,6 +1,6 @@
-make -j4
-cd  build
+make -j12
+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"
+pintos -v --qemu -- -f -q
+pintos -v --qemu -p ../../examples/recursor_ng -a recursor_ng --  -q
+pintos -v --qemu -m 128 -- run "recursor_ng pintosmaster 6 1"
-- 
cgit v1.2.1