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"])