X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=8ed323b399dfd088d2483fa3295532a14203fb23;hb=75c0aef55a6135a0398d520519e79df2b3a21e0e;hp=1c345a1441e5f927583a90b81c45dc8e467dc822;hpb=5ae2fd5298d9c40f28ffcad764f1f1cf3489ff16;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 1c345a1441..8ed323b399 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -152,7 +152,7 @@ distfiles: Makefile
 CLEANFILES += distfiles gitfiles missing-distfiles
 PHONY += dist-hook-git
 
-$(bin_PROGRAMS) $(RECURSIVE_TARGETS) dist: $(BUILT_SOURCES) gl/libgl.la
+$(bin_PROGRAMS) $(RECURSIVE_TARGETS) dist: $(BUILT_SOURCES) config.h