blob: 41dac9a0061807d179b10a38237ac4cbf0484608 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#! /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
if head -1 $file | fgrep -q -- g # guru mode
then guru=-g
else guru=
fi
echo $file $guru
stap $guru -p1 $file | stap $guru -p1 - > /dev/null
fi
done
done
|
