From 75d7aa242df8864cce019474ac51b6eca080e28b Mon Sep 17 00:00:00 2001 From: Andreas Schwab Date: Sun, 9 Dec 2012 09:37:01 +0100 Subject: [PATCH] * configure.ac: Fix source command in .gdbinit. Don't quote $MAKEINFO. --- ChangeLog | 5 +++++ configure.ac | 6 +++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 04dc73eb68..eb572b26b1 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 ea97874da0..3303f80c3e 100644 --- a/configure.ac +++ b/configure.ac @@ -813,7 +813,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;; @@ -1194,7 +1194,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 && @@ -4557,7 +4557,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 ]) -- 2.39.2