check_approx.sh.in

   1 #!/bin/sh
   2
   3 EXEEXT=@EXEEXT@
   4 top_srcdir=@top_srcdir@
   5
   6 for i in "$top_srcdir"/tests/ehrhart/*; do
   7     if test -f $i; then
   8         echo $i | ./test_approx$EXEEXT -q -r 10 || exit;
   9     fi
  10 done