X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=72c1d34f0b5a6cbc14e6875325fba62c25e68611;hb=refs%2Fheads%2Fctables14;hp=543ec0e5b04ef7d9a069bfb0ffd37544199e91b2;hpb=a421d8d9f61bd10bb351117d87d65912ef6be086;p=pspp diff --git a/Smake b/Smake index 543ec0e5b0..72c1d34f0b 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 '\n' > $@ printf '\n' >> $@ - printf ' \n' >> $@ - for x in $^; do \ + printf ' \n' >> $@ + for x in $(ICONS); do \ z=`echo "$$x" | sed -e 's%src/ui/gui/%%'` ; \ printf " $$z\n" >> $@ ; \ done