bin/errs1

   1 #! /bin/sh
   2 # $Id$
   3
   4 configure="./configure"
   5 if [ "${1#*/configure}" != "$1" ];then
   6         configure="$1"
   7         shift
   8 fi
   9 (
  10         set -ex
  11         rm -f config.cache
  12         flags="-ggdb2"
  13         export CFLAGS="$flags"
  14         export CXXFLAGS="$flags"
  15         export GCJFLAGS="$flags"
  16         "$configure" --enable-static --disable-shared --enable-debug "$@"
  17         ) 2>&1|tee errs1