diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -75,17 +75,17 @@ for var in $vars; do echo "s:@$var@:$val:g" >> var.sed done -echo " -19 a# DO NOT edit this file, it has been generated by configure, and will -19 a# be overwritten. Instead, edit the file \`Makefile.in'" >> var.sed - Makefiles="`find "${_srcdir}/" -type f -name Makefile.in`" Makefiles="$Makefiles `find "${_srcdir}/" -type f -name *.mk.in`" for orig in $Makefiles; do new=${orig/%.in/} new=${new/#$_srcdir\//} mkdir -p `dirname "$new"` - sed -f var.sed < "${orig}" > "${new}" + sed -f var.sed "${orig}" | sed \ +-e '19 a# DO NOT edit this file, it has been generated by configure, and will' \ +-e "19 a# be overwritten. Instead, edit the file \``basename ${orig}`'" \ +-e "19 a + " > "${new}" done rm var.sed |