X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Flocalcharset;h=46020b0a0417c913871bc60d0a54f4f1a556fdab;hb=47a8dd64accd4e522331866a73bb79adc2d6ca78;hp=d01da33e559863b88be82408f2f5d6fc273901d3;hpb=165ed69714f02ad139d96a7c4180af6d10311b4a;p=pspp

diff --git a/modules/localcharset b/modules/localcharset
index d01da33e55..46020b0a04 100644
--- a/modules/localcharset
+++ b/modules/localcharset
@@ -82,14 +82,14 @@ uninstall-localcharset: all-local
 	fi
 
 charset.alias: config.charset
-	rm -f t-$@ $@
-	$(SHELL) $(srcdir)/config.charset '$(host)' > t-$@
+	$(AM_V_GEN)rm -f t-$@ $@ && \
+	$(SHELL) $(srcdir)/config.charset '$(host)' > t-$@ && \
 	mv t-$@ $@
 
 SUFFIXES += .sed .sin
 .sin.sed:
-	rm -f t-$@ $@
-	sed -e '/^#/d' -e 's/@''PACKAGE''@/$(PACKAGE)/g' $< > t-$@
+	$(AM_V_GEN)rm -f t-$@ $@ && \
+	sed -e '/^#/d' -e 's/@''PACKAGE''@/$(PACKAGE)/g' $< > t-$@ && \
 	mv t-$@ $@
 
 CLEANFILES += charset.alias ref-add.sed ref-del.sed