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

diff --git a/modules/fnmatch b/modules/fnmatch
index 64d3cd9e68..78344cae8b 100644
--- a/modules/fnmatch
+++ b/modules/fnmatch
@@ -28,10 +28,10 @@ BUILT_SOURCES += $(FNMATCH_H)
 # We need the following in order to create <fnmatch.h> when the system
 # doesn't have one that supports the required API.
 fnmatch.h: fnmatch.in.h
-	rm -f $@-t $@
+	$(AM_V_GEN)rm -f $@-t $@ && \
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
 	  cat $(srcdir)/fnmatch.in.h; \
-	} > $@-t
+	} > $@-t && \
 	mv -f $@-t $@
 MOSTLYCLEANFILES += fnmatch.h fnmatch.h-t