Fix: Custom test CI script

2024-11-02 08:04:02 +08:00
parent b4987f1f70
commit 5f06249b01
1 changed files with 4 additions and 2 deletions
--- 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'