File: gp2c-dbg

package info (click to toggle)
gp2c 0.0.7pl3-1
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 1,728 kB
  • sloc: ansic: 7,730; sh: 1,420; lex: 336; yacc: 208; makefile: 143
file content (16 lines) | stat: -rwxr-xr-x 314 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#! /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 $*