Smake: Fix dependencies for src/ui/gui/resources.xml.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 24 Jun 2022 16:34:05 +0000 (09:34 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 24 Jun 2022 16:36:13 +0000 (09:36 -0700)
This file is a list of all the icon files, but generating it doesn't use
icon files themselves, so depending on them isn't useful.  On the other
hand, the file does need to be regenerated if the icon list changes, and
that icon list is in Smake itself, so this target does need to depend on
the Makefiles.

Smake

diff --git a/Smake b/Smake
index 543ec0e5b04ef7d9a069bfb0ffd37544199e91b2..4a6486010426bcfd5791f9c914ad3e6fa0706f3b 100644 (file)
--- 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