From 5f06249b01ff4850db950389d7bea1ace1d1fc8f Mon Sep 17 00:00:00 2001 From: Yi-Ting Shih Date: Sat, 2 Nov 2024 08:04:02 +0800 Subject: [PATCH] Fix: Custom test CI script --- code/test/os_students.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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'