X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fstdbool;h=00e63c82fda49d41025333db5bcb7eee8c9293a7;hb=e8886c908325158b4e127ac82fbc4fb8918aad85;hp=51fc36fc62609fcb33865fb67aed07333c5fb0d6;hpb=c5ce79f4c514b37b5756e85530112d778cff302a;p=pspp

diff --git a/modules/stdbool b/modules/stdbool
index 51fc36fc62..00e63c82fd 100644
--- a/modules/stdbool
+++ b/modules/stdbool
@@ -19,7 +19,9 @@ EXTRA_DIST += stdbool_.h
 # doesn't have one that works.
 stdbool.h: stdbool_.h
 	rm -f $@-t $@
-	sed -e 's/@''HAVE__BOOL''@/$(HAVE__BOOL)/g' < $(srcdir)/stdbool_.h > $@-t
+	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+	  sed -e 's/@''HAVE__BOOL''@/$(HAVE__BOOL)/g' < $(srcdir)/stdbool_.h; \
+	} > $@-t
 	mv $@-t $@
 MOSTLYCLEANFILES += stdbool.h stdbool.h-t