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

diff --git a/modules/sched b/modules/sched
index 4bba3ddaed..4ce23571ab 100644
--- a/modules/sched
+++ b/modules/sched
@@ -17,7 +17,7 @@ BUILT_SOURCES += $(SCHED_H)
 # We need the following in order to create a replacement for <sched.h> when
 # the system doesn't have one.
 sched.h: sched.in.h
-	rm -f $@-t $@
+	$(AM_V_GEN)rm -f $@-t $@ && \
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
 	  sed -e 's|@''HAVE_SCHED_H''@|$(HAVE_SCHED_H)|g' \
 	      -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \
@@ -25,7 +25,7 @@ sched.h: sched.in.h
 	      -e 's|@''NEXT_SCHED_H''@|$(NEXT_SCHED_H)|g' \
 	      -e 's|@''HAVE_STRUCT_SCHED_PARAM''@|$(HAVE_STRUCT_SCHED_PARAM)|g' \
 	      < $(srcdir)/sched.in.h; \
-	} > $@-t
+	} > $@-t && \
 	mv $@-t $@
 MOSTLYCLEANFILES += sched.h sched.h-t