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

diff --git a/modules/glob b/modules/glob
index bf7af7c68b..c5fd73f470 100644
--- a/modules/glob
+++ b/modules/glob
@@ -32,11 +32,11 @@ BUILT_SOURCES += $(GLOB_H)
 # We need the following in order to create <glob.h> when the system
 # doesn't have one that works with the given compiler.
 glob.h: glob.in.h
-	rm -f $@-t $@
+	$(AM_V_GEN)rm -f $@-t $@ && \
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
 	  sed -e 's|@''HAVE_SYS_CDEFS_H''@|$(HAVE_SYS_CDEFS_H)|g' \
 	      < $(srcdir)/glob.in.h; \
-	} > $@-t
+	} > $@-t && \
 	mv -f $@-t $@
 MOSTLYCLEANFILES += glob.h glob.h-t