Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
6477 commits behind the upstream repository.
user avatar
Christian Engwer authored
  now all headerchecks are also tested in the build tests
* add timing facility to check-log
  run
    make check-log LOG_TIMING="time -p"
  to add timings to your test log files

[[Imported from SVN: r5760]]
d0ed820d
History