X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Falloca-opt;h=895741bbe1aace8b37a92872efac8c43191b0614;hb=e8886c908325158b4e127ac82fbc4fb8918aad85;hp=ae0084c2a9b3b1c3ba9ea4d5969409cb83476861;hpb=c5ce79f4c514b37b5756e85530112d778cff302a;p=pspp

diff --git a/modules/alloca-opt b/modules/alloca-opt
index ae0084c2a9..895741bbe1 100644
--- a/modules/alloca-opt
+++ b/modules/alloca-opt
@@ -19,7 +19,9 @@ EXTRA_DIST += alloca_.h
 # We need the following in order to create <alloca.h> when the system
 # doesn't have one that works with the given compiler.
 alloca.h: alloca_.h
-	cp -f $(srcdir)/alloca_.h $@-t
+	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+	  cat $(srcdir)/alloca_.h; \
+	} > $@-t
 	mv -f $@-t $@
 MOSTLYCLEANFILES += alloca.h alloca.h-t