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 time
18 D="$D $doc".results/"$qname"_"$p".xml
21 ./xml_diff.native $D > "$doc".results/"$qname""$N".diff 2>&1
30 echo "-------------------------------------------"