X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=4a6486010426bcfd5791f9c914ad3e6fa0706f3b;hb=fa3f8d568a5bd4c199fc669f466671b484769285;hp=543ec0e5b04ef7d9a069bfb0ffd37544199e91b2;hpb=dd2e5ebe3e5caaae9e1c96a93533545d9b5f5033;p=pspp

diff --git a/Smake b/Smake
index 543ec0e5b0..4a64860104 100644
--- a/Smake
+++ b/Smake
@@ -316,11 +316,11 @@ src/ui/gui/icons/manifest: $(MAKEFILE_LIST)
 	echo >> $@
 
 
-src/ui/gui/resources.xml: $(ICONS)
+src/ui/gui/resources.xml: $(MAKEFILE_LIST)
 	printf '<?xml version="1.0" encoding="UTF-8"?>\n' > $@
 	printf '<gresources>\n' >> $@
 	printf ' <gresource prefix="gnu/pspp">\n' >> $@
-	for x in $^; do \
+	for x in $(ICONS); do \
 	  z=`echo "$$x" | sed -e 's%src/ui/gui/%%'` ; \
 	  printf "  <file>$$z</file>\n" >> $@ ; \
 	done