6 if [ -f "$doc".queries ]
8 cat "$doc".queries | grep -v '^#' | while read qname q
16 cat "$doc".results/"$qname"_"$p".log | grep --color=never 'INFO\|time'
18 D="$D $doc".results/"$qname"_"$p".xml
22 DIFFILE="$doc".results/"$qname"_"$N".diff
23 ./xml_diff.native $D > "$DIFFILE" 2>&1
33 echo "-------------------------------------------"