diff --git a/Makefile b/Makefile index 012a281927..53447dc270 100644 --- a/Makefile +++ b/Makefile @@ -13,14 +13,9 @@ publish-docs: test : dune runtest -# Echo is disabled as the benchmarks results are printed on stdout. -# '@bench' exit status is not checked as it's very likely to fail due to -# needing promotion rather than because it really failed. .PHONY : bench bench: - -@dune build @bench - @dune promote driver-benchmarks.json - @cat driver-benchmarks.json + @dune build @bench .PHONY : coverage coverage : diff --git a/doc/dune b/doc/dune index f960badaf8..ba464383de 100644 --- a/doc/dune +++ b/doc/dune @@ -31,15 +31,12 @@ (> %{ocaml_version} 4.11)) (deps (package odoc) + (universe) ; Benchmark depends on the running programs in the background (glob_files *.mld) (glob_files library_mlds/*) (glob_files examples/*.ml*)) (action - (progn - ; Make sure the benchmark result is created as Dune would not show the diff - ; if the script failed before creating it. - (write-file driver-benchmarks.json "") - (run ocaml-mdx-test --force-output %{dep:driver.mld})))) + (run ocaml-mdx-test --force-output %{dep:driver.mld}))) (rule (alias docgen) diff --git a/dune b/dune index d30ceee584..2211e9997a 100644 --- a/dune +++ b/dune @@ -12,4 +12,4 @@ (rule (alias bench) (action - (diff driver-benchmarks.json doc/driver-benchmarks.json))) + (cat doc/driver-benchmarks.json)))