#! /bin/sh
# Run one lens test.
# Derive names of inputs from the name of this script.
[ -n "$abs_top_srcdir" ] || abs_top_srcdir=$TOPDIR
LENS_DIR=$abs_top_srcdir/lenses
me=`echo "$0"|sed 's,.*/lens-\(.*\)\.sh$,\1,'`
t=$LENS_DIR/tests/test_$me.aug
if [ -n "$VALGRIND" ] ; then
exec $VALGRIND $AUGPARSE --nostdinc -I "$LENS_DIR" "$t"
else
export MALLOC_CHECK_=3
exec augparse --nostdinc -I "$LENS_DIR" "$t"
fi