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"