#! /bin/sh
#This file is part of the GP2C package
#
#This stupid shell script is Public Domain.
#

if test ! -f scripts/gp2c-dbg; then
cat <<EOF 1>&2
Package has not been configured for debugging.
Please type
./configure --enable-debug
to configure it for debugging.
EOF
exit 1;
fi
GP2C=./gp2c scripts/gp2c-dbg $*
