Modify the linker script to match the generated binary

[pintos-anon] / Makefile

diff --git a/Makefile b/Makefile
index d1eab013e20772790f13a8fbd53e001e07c7a4fe..fbc8f4ec8e372c5a224ad1698a03a625bbeeb271 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,13 @@
-SUBDIRS = src grading doc tests
+CLEAN_SUBDIRS = src doc tests
 
 all::
-       @echo "This makefile has only 'clean' targets."
+       @echo "This makefile has only 'clean' and 'check' targets."
 
 clean::
-       for d in $(SUBDIRS); do $(MAKE) -C $$d $@; done
+       for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done
 
 distclean:: clean
        find . -name '*~' -exec rm '{}' \;
 
 check::
-       make -C tests $@
+       $(MAKE) -C tests $@