X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=5d020c65db2aee794959b299a2e6ef472b7e2bbe;hb=8491d88610f4a0c48891be493a4bd0522aec297b;hp=0dc9e17797f0382406f93265f09607ce40a4eb5f;hpb=1edd8caa445f353489acae7c76f3670313ae1cb5;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