Commit 75d7aa24 authored by Andreas Schwab's avatar Andreas Schwab
Browse files

* Fix source command in .gdbinit.

Don't quote $MAKEINFO.
parent 5dea55d2
2012-12-09 Andreas Schwab <>
* Fix source command in .gdbinit.
Don't quote $MAKEINFO.
2012-12-09 Paul Eggert <>
Allow spaces in some configuration vars (Bug#13078).
......@@ -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 to get pkg-config.])], [$4])
if "$PKG_CONFIG" --atleast-pkgconfig-version "$PKG_CONFIG_MIN_VERSION"; then
if "$PKG_CONFIG" --atleast-pkgconfig-version $PKG_CONFIG_MIN_VERSION; then
if "$PKG_CONFIG" --exists "$2" 2>&AS_MESSAGE_LOG_FD &&
......@@ -4557,7 +4557,7 @@ ${MAKE-make} MAKEFILE_NAME=do-not-make-Makefile epaths-force
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment