X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2FMakefile;h=e15f824f4aa2766ed9d0d5719958502e8ef69eed;hb=fe001d5a77600d3e5668190578e810ec41eb1e22;hp=a7bba67f446006568563243cb80a959445a4953c;hpb=009b2b4793bdd1105d9dbe75fe008192ea63f12b;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