From 0284b75ab658f701740faeaa3f1d079a87187034 Mon Sep 17 00:00:00 2001
From: ChenYen-Yen <rickrickyen@gmail.com>
Date: Wed, 2 Oct 2024 15:00:45 +0800
Subject: [PATCH] try make -d

---
 code/test/os_students.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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