diff options
| author | Joakim Verona | 2012-12-09 09:46:29 +0100 |
|---|---|---|
| committer | Joakim Verona | 2012-12-09 09:46:29 +0100 |
| commit | 3d9057e069605bbf9a0e70af34aea6af5ffe2ab8 (patch) | |
| tree | 4cbcb69b998cf680ec1b601b73dc25db3b016197 | |
| parent | 0ced9ec14fa4c33a655322d5708834d41eff642f (diff) | |
| parent | 75d7aa242df8864cce019474ac51b6eca080e28b (diff) | |
| download | emacs-3d9057e069605bbf9a0e70af34aea6af5ffe2ab8.tar.gz emacs-3d9057e069605bbf9a0e70af34aea6af5ffe2ab8.zip | |
auto upstream
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | configure.ac | 6 |
2 files changed, 8 insertions, 3 deletions
| @@ -1,3 +1,8 @@ | |||
| 1 | 2012-12-09 Andreas Schwab <schwab@linux-m68k.org> | ||
| 2 | |||
| 3 | * configure.ac: Fix source command in .gdbinit. | ||
| 4 | Don't quote $MAKEINFO. | ||
| 5 | |||
| 1 | 2012-12-09 Paul Eggert <eggert@cs.ucla.edu> | 6 | 2012-12-09 Paul Eggert <eggert@cs.ucla.edu> |
| 2 | 7 | ||
| 3 | Allow spaces in some configuration vars (Bug#13078). | 8 | 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, | |||
| 815 | dnl or exited with an error if no egrep was found. | 815 | dnl or exited with an error if no egrep was found. |
| 816 | if test "$MAKEINFO" != "no"; then | 816 | if test "$MAKEINFO" != "no"; then |
| 817 | case ` | 817 | case ` |
| 818 | "$MAKEINFO" --version 2> /dev/null | | 818 | $MAKEINFO --version 2> /dev/null | |
| 819 | $EGREP 'texinfo[[^0-9]]*([[1-4]][[0-9]]+|[[5-9]]|4\.[[7-9]]|4\.[[1-6]][[0-9]]+)' | 819 | $EGREP 'texinfo[[^0-9]]*([[1-4]][[0-9]]+|[[5-9]]|4\.[[7-9]]|4\.[[1-6]][[0-9]]+)' |
| 820 | ` in | 820 | ` in |
| 821 | '') MAKEINFO=no;; | 821 | '') MAKEINFO=no;; |
| @@ -1196,7 +1196,7 @@ AC_DEFUN([PKG_CHECK_MODULES], [ | |||
| 1196 | *** 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]) | 1196 | *** 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]) |
| 1197 | else | 1197 | else |
| 1198 | PKG_CONFIG_MIN_VERSION=0.9.0 | 1198 | PKG_CONFIG_MIN_VERSION=0.9.0 |
| 1199 | if "$PKG_CONFIG" --atleast-pkgconfig-version "$PKG_CONFIG_MIN_VERSION"; then | 1199 | if "$PKG_CONFIG" --atleast-pkgconfig-version $PKG_CONFIG_MIN_VERSION; then |
| 1200 | AC_MSG_CHECKING(for $2) | 1200 | AC_MSG_CHECKING(for $2) |
| 1201 | 1201 | ||
| 1202 | if "$PKG_CONFIG" --exists "$2" 2>&AS_MESSAGE_LOG_FD && | 1202 | if "$PKG_CONFIG" --exists "$2" 2>&AS_MESSAGE_LOG_FD && |
| @@ -4624,7 +4624,7 @@ ${MAKE-make} MAKEFILE_NAME=do-not-make-Makefile epaths-force | |||
| 4624 | AC_CONFIG_COMMANDS([gdbinit], [ | 4624 | AC_CONFIG_COMMANDS([gdbinit], [ |
| 4625 | if test ! -f src/.gdbinit && test -f "$srcdir/src/.gdbinit"; then | 4625 | if test ! -f src/.gdbinit && test -f "$srcdir/src/.gdbinit"; then |
| 4626 | echo creating src/.gdbinit | 4626 | echo creating src/.gdbinit |
| 4627 | echo "source '$srcdir/src/.gdbinit'" > src/.gdbinit | 4627 | echo "source $srcdir/src/.gdbinit" > src/.gdbinit |
| 4628 | fi | 4628 | fi |
| 4629 | ]) | 4629 | ]) |
| 4630 | 4630 | ||