#! /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