a_star: don't crash on deserialization errors and limit static types

[nit.git] / benchmarks / markdown / bench_markdown.sh
diff --git a/benchmarks/markdown/bench_markdown.sh b/benchmarks/markdown/bench_markdown.sh

index c22e0b5..d6826e1 100755 (executable)
--- a/benchmarks/markdown/bench_markdown.sh
+++ b/benchmarks/markdown/bench_markdown.sh
@@ -70,6 +70,8 @@ outdir="./out"
  engdir="./engines"
  bncdir="./benches/out"
  mkdir -p $outdir
+html="index.html"
+echo >"$html" "<html><head></head><body>"
  
  function bench_nitmd()
  {
@@ -129,12 +131,15 @@ function bench_pandoc()
                 bench_command "$bench" "" "$engdir/pandoc/pandoc" "$file" "$s"
         done
  }
-bench_pandoc
+# FIXME: Fix an reactivate the pandoc engine
+#bench_pandoc
  
  if test "$#" -gt 0; then
      plot $outdir/bench_markdown.gnu
  fi
  
+echo >>"$html" "</body></html>"
+
  if test -n "$died"; then
         echo "Some commands failed"
         exit 1