Check for the compiler's availability early in the `make' run, in

[pintos-anon] / src / examples / Makefile

diff --git a/src/examples/Makefile b/src/examples/Makefile
index a7bba67f446006568563243cb80a959445a4953c..e15f824f4aa2766ed9d0d5719958502e8ef69eed 100644 (file)
--- a/src/examples/Makefile
+++ b/src/examples/Makefile
@@ -24,4 +24,5 @@ lineup_SRC = lineup.c
 matmult_SRC = matmult.c
 recursor_SRC = recursor.c
 
+include $(SRCDIR)/Make.config
 include $(SRCDIR)/Makefile.userprog