#!/bin/sh# Generated automatically by configure.# Run this file to recreate the current configuration.# This directory was configured as follows,# on host antonous:## configure for argdo  case "$arg" in    -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)    echo running /bin/sh configure     exec /bin/sh configure  ;;    *) echo "Usage: config.status --recheck" 2>&1; exit 1 ;;  esacdonetrap 'rm -f Makefile; exit 1' 1 3 15CC='cc'CPP='cc -E'INSTALL='/bin/install -c'INSTALL_PROGRAM='$(INSTALL)'INSTALL_DATA='$(INSTALL) -m 644'ALLOCA=''LIBS=''srcdir='.'DEFS=' -Dconst= -DHAVE_STRING_H=1 -DHAVE_STDLIB_H=1 -DHAVE_MEMORY_H=1 -DHAVE_ALLOCA_H=1'prefix=''exec_prefix=''prsub=''top_srcdir=$srcdir# Allow make-time overrides of the generated file list.test -n "$gen_files" || gen_files="Makefile"for file in .. $gen_files; do if [ "x$file" != "x.." ]; then  srcdir=$top_srcdir  # 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  fi  echo creating $file  rm -f $file  echo "# Generated automatically from `echo $file|sed 's|.*/||'`.in by configure." > $file  sed -e "$prsubs%@CC@%$CC%gs%@CPP@%$CPP%gs%@INSTALL@%$INSTALL%gs%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%gs%@INSTALL_DATA@%$INSTALL_DATA%gs%@ALLOCA@%$ALLOCA%gs%@LIBS@%$LIBS%gs%@srcdir@%$srcdir%gs%@DEFS@%$DEFS%" $top_srcdir/${file}.in >> $filefi; doneexit 0