#! /bin/sh

set -e

for dir in ${SRCDIR}/testsuite/parseok \
${SRCDIR}/testsuite/semok \
${SRCDIR}/testsuite/semko \
${SRCDIR}/testsuite/transok \
${SRCDIR}/testsuite/transko \
${SRCDIR}/testsuite/buildok \
${SRCDIR}/testsuite/buildko
do
   for file in $dir/*.stp
   do
      if head -1 $file | grep -q stap
      then
	  echo $file
          ./stap -p1 $file | ./stap -p1 - > /dev/null
      fi
   done
done