Commit 13fc6ce1 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Comment.

parent 51e84fe2
......@@ -39,8 +39,10 @@ test:
@ dune build --display short @test
# [make data] extracts statistics and performance data out of the files
# produced by [make test]. Be careful: the timing data is not high quality,
# and is machine-dependent. The data is written to analysis/data.csv.
# produced by [make test]. Be careful: the timing data is definitely not high
# quality, because every test is run only once and because the tests are run
# in parallel on a heavily-loaded machine. Furthermore, this data is
# machine-dependent. The data is written to analysis/data.csv.
# On MacOS, we require gsed instead of sed.
SED=$(shell if [[ "$$OSTYPE" == "darwin"* ]] ; then echo gsed ; else echo sed ; fi)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment