/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/
../
run.sh
time-of-build-pretty.log.expected
time-of-build.log.in