From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 7 Aug 2013 06:22:43 +0000 (+0200)
Subject: Smake: Add appropriate dependencies to manifest and icon-names targets
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2ee6c61278915427fb637e917cf0fdc94462e992;hp=caa467c9a26a7f111e35ab031cd97c79df07430e;p=pspp

Smake: Add appropriate dependencies to manifest and icon-names targets
---

diff --git a/Smake b/Smake
index 64c27a6dd5..2a777426c5 100644
--- a/Smake
+++ b/Smake
@@ -281,7 +281,7 @@ all: prep_ph  icons
 
 icons: $(ICONS) src/ui/gui/icons/icon-names.c
 
-src/ui/gui/icons/icon-names.c:
+src/ui/gui/icons/icon-names.c: $(MAKEFILE_LIST)
 	$(RM) $@
 	printf '/* This is a generated file. Do not edit. */\n' >> $@
 	printf '#include "icon-names.h"\n' >> $@
@@ -316,7 +316,7 @@ src/ui/gui/icons/icon-names.c:
 	echo >> $@
 
 
-src/ui/gui/icons/manifest:
+src/ui/gui/icons/manifest: $(MAKEFILE_LIST)
 	$(RM) $@
 	printf '# This is a generated file. Do not edit.\n' >> $@
 	printf 'icons =' >> $@