diff --git a/ChangeLog b/ChangeLog index fcba85be4..82b1d7b12 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2002-12-10 Nathanael Nerode + * configure: Fix bug put in by gremlins. + * Makefile.tpl: Substitute more autoconfily. * configure: Substitute more autoconfily. * Makefile.in: Regenerate. diff --git a/configure b/configure index 7a210554d..6b4d9b495 100755 --- a/configure +++ b/configure @@ -1281,7 +1281,7 @@ if [ -f ${srcdir}/${Makefile_in} ] ; then -e "s|@mandir@|${mandir}|" \ -e "s|@CC@|${CC}|" \ -e "s|@CXX@|${CXX}|" \ - -e "s|@CC@|${CFLAGS}|" \ + -e "s|@CFLAGS@|${CFLAGS}|" \ -e "s|@CXXFLAGS@|${CXXFLAGS}|" \ -e "s|@config_shell@|${config_shell}|" \ -e "s|@srcdir@|${srcdir}|" \