3 cd "$(dirname $0)" ||
exit $?
7 if [ ${b%_xml} != $b ]; then
11 prereq
="$(sed -n 's/^prereq: //p' $f)"
12 if [ "$prereq" = "" ]; then
15 prog
="$(sed -n 's/^prog: //p' $f)"
16 args
="$(sed -n 's/^args: //p' $f)"
17 vgopts
="$(sed -n 's/^vgopts: //p' $f)"
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
22 echo "Skipping because $prereq failed"