diff --git a/code/test/os_students.sh b/code/test/os_students.sh index 3d714a3..9f7eada 100644 --- a/code/test/os_students.sh +++ b/code/test/os_students.sh @@ -1,2 +1,4 @@ -make clean -make run +make distclean +make +timeout 1 ../build.linux/nachos -e consoleIO_test1 -e consoleIO_test2 +echo 'done'