From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 27 Dec 2020 07:47:51 +0000 (+0100)
Subject: Remove dummy-prerequisite rule
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cffe131589ab5f9de99bc3fb34487225b2311439;p=pspp

Remove dummy-prerequisite rule

As Ben pointed out, this probably did more harm than good.  So instead,
this change adds some explicit dependencies where prerequisites are
known to be necessary.
---

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