diff --git a/code/test/os_students.sh b/code/test/os_students.sh index 1ed78a1..35cbfd7 100644 --- a/code/test/os_students.sh +++ b/code/test/os_students.sh @@ -1,3 +1,3 @@ make clean -make +make -d ../build.linux/nachos -e halt \ No newline at end of file