Modify the linker script to match the generated binary

[pintos-anon] / Makefile

diff --git a/Makefile b/Makefile
index 2c374e72bf33b40f32c6476d6b5013a6258910db..fbc8f4ec8e372c5a224ad1698a03a625bbeeb271 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,4 +10,4 @@ distclean:: clean
        find . -name '*~' -exec rm '{}' \;
 
 check::
-       make -C tests $@
+       $(MAKE) -C tests $@