--- configure.orig Thu Sep 2 14:11:55 1999 +++ configure Thu Sep 2 14:13:15 1999 @@ -1989,13 +1989,6 @@ export CFLAGS CC -# Socket pairs appear to be broken on several systems. I don't know exactly -# where, so I'll use pipes everywhere for now. -cat >> confdefs.h <<\EOF -#define USE_PIPES 1 -EOF - - echo $ac_n "checking that the compiler works""... $ac_c" 1>&6 echo "configure:2001: checking that the compiler works" >&5 if test "$cross_compiling" = yes; then @@ -7746,7 +7739,7 @@ cat >> $CONFIG_STATUS <> $CONFIG_STATUS <<\EOF for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then @@ -7950,6 +7943,8 @@ done for ac_config_dir in gmp-2.0.2-ssh-2; do + + continue # XXX don't configure gmp # Do not complain, so a configure script can configure whichever # parts of a large source tree are present.