# Generated automatically by configure.
# Run this file to recreate the current configuration.
# This directory was configured as follows,
# on host vangogh.CS.Berkeley.EDU:
-recheck |
--recheck |
--rechec |
--reche |
--rech |
--rec |
--re |
--r)
exec /bin
/sh configure
;;
*) echo "Usage: config.status --recheck" 2>&1; exit 1 ;;
trap 'rm -f Makefile; exit 1' 1 3 15
INSTALL
='/usr/bin/install -c'
INSTALL_PROGRAM
='$(INSTALL)'
INSTALL_DATA
='$(INSTALL) -m 644'
DEFS
=' -DHAVE_UNISTD_H=1 -DHAVE_DIRENT_H=1 -DHAVE_LIMITS_H=1 -DHAVE_SYS_DIR_H=1 -DHAVE_STDLIB_H=1 -DHAVE_CC_LIMITS_H=1 -DHAVE_CC_UNISTD_H=1 -DSTDLIB_H_DECLARES_GETOPT=1 -DUNISTD_H_DECLARES_GETOPT=1 -DSTDLIB_H_DECLARES_PUTENV=1 -DRETSIGTYPE=void -DHAVE_MMAP=1 -DHAVE_RENAME=1 -DHAVE_MKSTEMP=1 -DHAVE_SYS_SIGLIST=1'
prsub
='s%^prefix\([ ]*\)=\([ ]*\).*$%prefix\1=\2/usr%
s%^exec_prefix\([ ]*\)=\([ ]*\).*$%exec_prefix\1=\2${prefix}%'
for file in .. Makefile
; do if [ "x$file" != "x.." ]; then
# Remove last slash and all that follows it. Not all systems have dirname.
dir
=`echo $file|sed 's%/[^/][^/]*$%%'`
if test "$dir" != "$file"; then
test "$top_srcdir" != .
&& srcdir
=$top_srcdir/$dir
test ! -d $dir && mkdir
$dir
echo "# Generated automatically from `echo $file|sed 's|.*/||'`.in by configure." > $file
s%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%g
s%@INSTALL_DATA@%$INSTALL_DATA%g
s%@ETAGSCCFLAG@%$ETAGSCCFLAG%g
s%@SH_SCRIPT_SED_CMD@%$SH_SCRIPT_SED_CMD%g
s%@BROKEN_SPOOLER_FLAGS@%$BROKEN_SPOOLER_FLAGS%g
" $top_srcdir/${file}.
in >> $file