diff --git a/ChangeLog b/ChangeLog index 04dc73eb683..eb572b26b16 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-12-09 Andreas Schwab + + * configure.ac: Fix source command in .gdbinit. + Don't quote $MAKEINFO. + 2012-12-09 Paul Eggert Allow spaces in some configuration vars (Bug#13078). diff --git a/configure.ac b/configure.ac index 265660af91d..e649b6725e9 100644 --- a/configure.ac +++ b/configure.ac @@ -815,7 +815,7 @@ dnl By this stage, configure has already checked for egrep and set EGREP, dnl or exited with an error if no egrep was found. if test "$MAKEINFO" != "no"; then case ` - "$MAKEINFO" --version 2> /dev/null | + $MAKEINFO --version 2> /dev/null | $EGREP 'texinfo[[^0-9]]*([[1-4]][[0-9]]+|[[5-9]]|4\.[[7-9]]|4\.[[1-6]][[0-9]]+)' ` in '') MAKEINFO=no;; @@ -1196,7 +1196,7 @@ AC_DEFUN([PKG_CHECK_MODULES], [ *** The pkg-config script could not be found. Make sure it is in your path, or give the full name of pkg-config with the PKG_CONFIG environment variable or --with-pkg-config-prog. Or see http://www.freedesktop.org/software/pkgconfig to get pkg-config.])], [$4]) else PKG_CONFIG_MIN_VERSION=0.9.0 - if "$PKG_CONFIG" --atleast-pkgconfig-version "$PKG_CONFIG_MIN_VERSION"; then + if "$PKG_CONFIG" --atleast-pkgconfig-version $PKG_CONFIG_MIN_VERSION; then AC_MSG_CHECKING(for $2) if "$PKG_CONFIG" --exists "$2" 2>&AS_MESSAGE_LOG_FD && @@ -4624,7 +4624,7 @@ ${MAKE-make} MAKEFILE_NAME=do-not-make-Makefile epaths-force AC_CONFIG_COMMANDS([gdbinit], [ if test ! -f src/.gdbinit && test -f "$srcdir/src/.gdbinit"; then echo creating src/.gdbinit - echo "source '$srcdir/src/.gdbinit'" > src/.gdbinit + echo "source $srcdir/src/.gdbinit" > src/.gdbinit fi ])