X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=5d020c65db2aee794959b299a2e6ef472b7e2bbe;hb=cffe131589ab5f9de99bc3fb34487225b2311439;hp=0dc9e17797f0382406f93265f09607ce40a4eb5f;hpb=605db43b368a66732737c8ac2a038ffeb93f98d1;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 0dc9e17797..5d020c65db 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -158,11 +158,9 @@ distfiles: Makefile
 	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t" \
 	  | LC_ALL=C sort -u > $@
 CLEANFILES += distfiles gitfiles missing-distfiles
-PHONY += dist-hook-git dummy-prerequisites
+PHONY += dist-hook-git
 
--include dummy-prerequisites
-
-dummy-prerequisites: $(BUILT_SOURCES) gl/libgl.la
+$(bin_PROGRAMS) $(RECURSIVE_TARGETS) dist: $(BUILT_SOURCES) gl/libgl.la