pike.git/ src/ configure.in

2001-02-16

2001-02-16 16:59:32 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 7d304681542f8e1db626d10252c61765797311d4 (7 lines) (+4/-3) ^{[ Show | Annotate ]}
  Branch: 7.9

Some minor fixes to config.info.

Rev: src/configure.in:1.487

1: - AC_REVISION("$Id: configure.in,v 1.486 2001/02/16 16:56:54 grubba Exp $") + AC_REVISION("$Id: configure.in,v 1.487 2001/02/16 16:59:32 grubba Exp $")   AC_INIT(interpret.c)   AC_CONFIG_HEADER(machine.h)   
5150:   =========================================================   $PIKE_VERSION_LONG configuration summary    - install information:" >>config.info + install information:   prefix........ $prefix   pike binary... $prefix/bin/pike   pike library.. $prefix/lib/${PIKE_VERSION}/
5158:   system........ $UNAME`echo $pike_cv_libgcc_filename | sed -n -e 's+^.*gcc-lib/\([[^/]]*\)/.*$+ (\1)+p'`   EOF    - uname -a >/dev/null 2>/dev/null && echo " `uname -a`" >>config.info + uname -a >/dev/null 2>/dev/null && echo "uname......... `uname -a`" >>config.info   hostname >/dev/null 2>/dev/null && echo "hostname...... `hostname`" >>config.info      cat >>config.info <<EOF