diff Makefile.in @ 1488:abbdeca6f1bd

Fix building default_options.h
author Matt Johnston <matt@ucc.asn.au>
date Sun, 11 Feb 2018 10:53:59 +0800
parents 7dddc4dd7063
children 9b87cbe931e3
line wrap: on
line diff
--- a/Makefile.in	Sat Feb 10 19:25:00 2018 +0800
+++ b/Makefile.in	Sun Feb 11 10:53:59 2018 +0800
@@ -234,7 +234,6 @@
 # default_options.h is stored in version control, could not find a workaround
 # for parallel "make -j" and dependency rules.
 default_options.h: default_options.h.in 
-	echo "# > > > Generated from $^, edit that file instead !" > [email protected]
-	echo >> [email protected]
-	$(srcdir)/ifndef_wrapper.sh < $^ > [email protected]
+	echo "/*\n > > > Do not edit this file (default_options.h) < < <\nGenerated from "$^"\nLocal customisation goes in localoptions.h\n*/\n\n" > [email protected]
+	$(srcdir)/ifndef_wrapper.sh < $^ >> [email protected]
 	mv [email protected] $@