for p in $PROGS
do
echo "$p":
- cat "$doc".results/"$qname"_"$p".log | grep --color=never time
+ cat "$doc".results/"$qname"_"$p".log | grep --color=never 'INFO\|time'
N="$N_$p"
D="$D $doc".results/"$qname"_"$p".xml
done
+
echo -n "Diff ... "
- ./xml_diff.native $D > "$doc".results/"$qname""$N".diff 2>&1
+ DIFFILE="$doc".results/"$qname"_"$N".diff
+ ./xml_diff.native $D > "$DIFFILE" 2>&1
case "$?" in
"0")
echo "ok"
+ rm -f "$DIFFILE"
;;
*)
echo "failed"