• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#!/bin/sh
2
3cd "$(dirname $0)" || exit $?
4for f in *.vgtest
5do
6  b="${f%.vgtest}"
7  if [ ${b%_xml} != $b ]; then
8    continue
9  fi
10  echo === $b
11  prereq="$(sed -n 's/^prereq: //p' $f)"
12  if [ "$prereq" = "" ]; then
13    prereq="true"
14  fi
15  prog="$(sed -n 's/^prog: //p' $f)"
16  args="$(sed -n 's/^args: //p' $f)"
17  vgopts="$(sed -n 's/^vgopts: //p' $f)"
18  if eval $prereq; then
19    ../../vg-in-place --tool=drd --xml=yes --xml-file="$b-%q{USER}.xml" --xml-user-comment="<runBy>$(basename $0)</runBy>" --child-silent-after-fork=yes --gen-suppressions=all $vgopts ./$prog $args
20    xmllint --noout --schema ../docs/drd-xml-output.xsd $b-${USER}.xml 2>&1 | tee $b.xmllint
21  else
22    echo "Skipping because $prereq failed"
23  fi
24done
25