X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=a989f2d078a68402e8111befb01aba764c8903c4;hb=e1147725f1dc67c2efa786df641d820e41cac5cf;hp=227affa36ba56bfe74a7991128e0b9d04a9dc11d;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/Smake b/Smake
index 227affa36b..a989f2d078 100644
--- a/Smake
+++ b/Smake
@@ -320,7 +320,8 @@ src/ui/gui/icons/manifest: $(MAKEFILE_LIST)
 	echo >> $@
 	printf 'icon_srcs = ' >> $@
 	for i in  $(ICONS); do \
-	  printf ' \\\n\t '$$i | sed -e 's/\.png$$/.svg/' -e 's%/icons/%/artwork/%' >> $@ ; \
+	  printf ' \\\n\t ' >> $@ ;\
+	  printf $$i | awk '{ gsub(".png",".svg")gsub("icons","artwork");printf $$0}' >> $@ ; \
 	done
 	echo ' ' >> $@
 	echo >> $@