try make -d
This commit is contained in:
1 parent
6ad2fa368f
commit
0284b75ab6
1 file changed
+1
-1
@@ -1,3 +1,3 @@
|
||||
make clean
|
||||
make
|
||||
make -d
|
||||
../build.linux/nachos -e halt
|
||||
Reference in new issue
Block a user