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 customss="--enable-static --disable-shared"
  10 if [ "$1" = "--origss" ];then
  11         customss=
  12         shift
  13 fi
  14 (
  15         set -ex
  16         rm -f config.cache
  17         flags="-ggdb2 -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4"
  18         export CFLAGS="$flags"
  19         export CXXFLAGS="$flags"
  20         export GCJFLAGS="$flags"
  21         time nice "$configure" $customss --enable-debug "$@"
  22         ) 2>&1|tee errs1