pike.git/ src/ configure.in

2001-03-27

2001-03-27 20:58:18 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• c334a0a5eea6cdbfea41415f4bb243d73ff32ba2 (22 lines) (+21/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

Now attempts to speed up configure by using bash if available.

Rev: src/configure.in:1.514

1: - AC_REVISION("$Id: configure.in,v 1.513 2001/03/27 19:21:57 grubba Exp $") + AC_REVISION("$Id: configure.in,v 1.514 2001/03/27 20:58:18 grubba Exp $")   AC_INIT(interpret.c)   AC_CONFIG_HEADER(machine.h)   
14:    ;;   esac    + # Attempt to use bash instead of /bin/sh to run configure + # since bash is usually several orders of magnitude faster + # on machines that have a real /bin/sh. + if test "x$CONFIG_SHELL" = "x"; then +  AC_PATH_PROG(bash_prog, bash, no) +  if test "x$ac_cv_path_bash_prog" = "xno"; then :; else +  AC_MSG_WARN([Found bash as $ac_cv_path_bash_prog. + Will attempt to restart configure with bash for performance. +  + If this fails, please set CONFIG_SHELL to /bin/sh before starting configure. +  + ]) +  CONFIG_SHELL="$ac_cv_path_bash_prog" +  export CONFIG_SHELL +  echo $CONFIG_SHELL "$srcdir/configure" $ac_configure_args +  exec $CONFIG_SHELL "$srcdir/configure" $ac_configure_args +  fi + else :; fi +    if test "x${CFLAGS-}" = x ; then    cflags_is_set=no   else