esac
done
+xml="bench_engines.xml"
+echo "<testsuites><testsuite>" > "$xml"
+
NOTSKIPED="$*"
if test -z "$NOTSKIPED"; then
echo >>"$html" "</body></html>"
fi
+echo >>"$xml" "</testsuite></testsuites>"
+
if test -n "$died"; then
echo "Some commands failed"
exit 1