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

diff --git a/modules/signal b/modules/signal
index bfef96f41b..0aa8c54fad 100644
--- a/modules/signal
+++ b/modules/signal
@@ -18,7 +18,7 @@ BUILT_SOURCES += signal.h
 # We need the following in order to create <signal.h> when the system
 # doesn't have a complete one.
 signal.h: signal.in.h
-	rm -f $@-t $@
+	$(AM_V_GEN)rm -f $@-t $@ && \
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */' && \
 	  sed -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \
 	      -e 's|@''PRAGMA_SYSTEM_HEADER''@|@PRAGMA_SYSTEM_HEADER@|g' \
@@ -34,7 +34,7 @@ signal.h: signal.in.h
 	      -e 's|@''HAVE_TYPE_VOLATILE_SIG_ATOMIC_T''@|$(HAVE_TYPE_VOLATILE_SIG_ATOMIC_T)|g' \
 	      -e '/definition of GL_LINK_WARNING/r $(LINK_WARNING_H)' \
 	      < $(srcdir)/signal.in.h; \
-	} > $@-t
+	} > $@-t && \
 	mv $@-t $@
 MOSTLYCLEANFILES += signal.h signal.h-t