X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=a989f2d078a68402e8111befb01aba764c8903c4;hb=591e26b4995976787f89cec49f4c8a0dbf3b916c;hp=227affa36ba56bfe74a7991128e0b9d04a9dc11d;hpb=ad4ba793ea1dc89f46e0e44f27502707feb2ec69;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 >> $@