Mercurial > emacs
comparison configure.in @ 108034:8ff86e76b50f
Avoid non-portable shell command negation
* configure.in: Revert last change.
author | Andreas Schwab <schwab@linux-m68k.org> |
---|---|
date | Wed, 21 Apr 2010 23:44:48 +0200 |
parents | 1c3b0c4f71d9 |
children | 98d289f97679 |
comparison
equal
deleted
inserted
replaced
108033:1545dcb1c3b7 | 108034:8ff86e76b50f |
---|---|
781 ## We use the presence of $srcdir/info/emacs to distinguish a release, | 781 ## We use the presence of $srcdir/info/emacs to distinguish a release, |
782 ## with pre-built manuals, from a Bazaar checkout. | 782 ## with pre-built manuals, from a Bazaar checkout. |
783 if test "$MAKEINFO" = "no"; then | 783 if test "$MAKEINFO" = "no"; then |
784 if test "x${with_makeinfo}" = "xno"; then | 784 if test "x${with_makeinfo}" = "xno"; then |
785 MAKEINFO=off | 785 MAKEINFO=off |
786 elif ! test -e $srcdir/info/emacs; then | 786 elif test ! -e $srcdir/info/emacs; then |
787 AC_MSG_ERROR( [You do not seem to have makeinfo >= 4.6, and your | 787 AC_MSG_ERROR( [You do not seem to have makeinfo >= 4.6, and your |
788 source tree does not seem to have pre-built manuals in the `info' directory. | 788 source tree does not seem to have pre-built manuals in the `info' directory. |
789 Either install a suitable version of makeinfo, or re-run configure | 789 Either install a suitable version of makeinfo, or re-run configure |
790 with the `--without-makeinfo' option to build without the manuals.] ) | 790 with the `--without-makeinfo' option to build without the manuals.] ) |
791 fi | 791 fi |
3230 rm -f junk.c junk1.c junk2.c | 3230 rm -f junk.c junk1.c junk2.c |
3231 chmod 444 Makefile.new | 3231 chmod 444 Makefile.new |
3232 mv -f Makefile.new Makefile | 3232 mv -f Makefile.new Makefile |
3233 ) | 3233 ) |
3234 | 3234 |
3235 if ! test -f src/.gdbinit && test -f $srcdir/src/.gdbinit; then | 3235 if test ! -f src/.gdbinit && test -f $srcdir/src/.gdbinit; then |
3236 echo creating src/.gdbinit | 3236 echo creating src/.gdbinit |
3237 echo source $srcdir/src/.gdbinit > src/.gdbinit | 3237 echo source $srcdir/src/.gdbinit > src/.gdbinit |
3238 fi | 3238 fi |
3239 | 3239 |
3240 ], [GCC="$GCC" NON_GNU_CPP="$NON_GNU_CPP" CPP="$CPP" CPP_NEED_TRADITIONAL="$CPP_NEED_TRADITIONAL" CPPFLAGS="$CPPFLAGS" cpp_undefs="$cpp_undefs"]) | 3240 ], [GCC="$GCC" NON_GNU_CPP="$NON_GNU_CPP" CPP="$CPP" CPP_NEED_TRADITIONAL="$CPP_NEED_TRADITIONAL" CPPFLAGS="$CPPFLAGS" cpp_undefs="$cpp_undefs"]) |