mirror of
https://git.savannah.gnu.org/git/emacs.git
synced 2024-12-16 09:50:25 +00:00
auto upstream
This commit is contained in:
commit
3d9057e069
@ -1,3 +1,8 @@
|
||||
2012-12-09 Andreas Schwab <schwab@linux-m68k.org>
|
||||
|
||||
* configure.ac: Fix source command in .gdbinit.
|
||||
Don't quote $MAKEINFO.
|
||||
|
||||
2012-12-09 Paul Eggert <eggert@cs.ucla.edu>
|
||||
|
||||
Allow spaces in some configuration vars (Bug#13078).
|
||||
|
@ -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
|
||||
])
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user