1#! /bin/sh
2# Run one lens test.
3# Derive names of inputs from the name of this script.
4
5[ -n "$abs_top_srcdir" ] || abs_top_srcdir=$TOPDIR
6LENS_DIR=$abs_top_srcdir/lenses
7
8me=`echo "$0"|sed 's,.*/lens-\(.*\)\.sh$,\1,'`
9
10t=$LENS_DIR/tests/test_$me.aug
11
12if [ -n "$VALGRIND" ] ; then
13  exec $VALGRIND $AUGPARSE --nostdinc -I "$LENS_DIR" "$t"
14else
15  export MALLOC_CHECK_=3
16  exec augparse --nostdinc -I "$LENS_DIR" "$t"
17fi
18