X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2FMakefile;h=e15f824f4aa2766ed9d0d5719958502e8ef69eed;hb=5779c099854ef6a635613c0dc9c7ea1cff6288dc;hp=a7bba67f446006568563243cb80a959445a4953c;hpb=f52927b361af572818c9ff885eba9e1ca1fe22f9;p=pintos-anon

diff --git a/src/examples/Makefile b/src/examples/Makefile
index a7bba67..e15f824 100644
--- 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