tests/lens-rmt.sh

   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
   6 LENS_DIR=$abs_top_srcdir/lenses
   7
   8 me=`echo "$0"|sed 's,.*/lens-\(.*\)\.sh$,\1,'`
   9
  10 t=$LENS_DIR/tests/test_$me.aug
  11
  12 if [ -n "$VALGRIND" ] ; then
  13   exec $VALGRIND $AUGPARSE --nostdinc -I "$LENS_DIR" "$t"
  14 else
  15   exec augparse --nostdinc -I "$LENS_DIR" "$t"
  16 fi