3
# Derive names of inputs from the name of this script.
5
[ -n "$abs_top_srcdir" ] || abs_top_srcdir=$TOPDIR
6
LENS_DIR=$abs_top_srcdir/lenses
8
me=`echo "$0"|sed 's,.*/lens-\(.*\)\.sh$,\1,'`
10
t=$LENS_DIR/tests/test_$me.aug
12
if [ -n "$VALGRIND" ] ; then
13
exec $VALGRIND $AUGPARSE --nostdinc -I "$LENS_DIR" "$t"
15
exec augparse --nostdinc -I "$LENS_DIR" "$t"