X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=72c1d34f0b5a6cbc14e6875325fba62c25e68611;hb=refs%2Fheads%2Fctables13;hp=4a6486010426bcfd5791f9c914ad3e6fa0706f3b;hpb=fa3f8d568a5bd4c199fc669f466671b484769285;p=pspp diff --git a/Smake b/Smake index 4a64860104..72c1d34f0b 100644 --- a/Smake +++ b/Smake @@ -319,7 +319,7 @@ src/ui/gui/icons/manifest: $(MAKEFILE_LIST) src/ui/gui/resources.xml: $(MAKEFILE_LIST) printf '\n' > $@ printf '\n' >> $@ - printf ' \n' >> $@ + printf ' \n' >> $@ for x in $(ICONS); do \ z=`echo "$$x" | sed -e 's%src/ui/gui/%%'` ; \ printf " $$z\n" >> $@ ; \