Makefile: speed fastcheck
Rather than timeout, explicitly disable tests_pass_valgrind and tests_compile_coverage. This is important now we run under valgrind the first time we run the tests, thus would always time out and not run most of the tests at all! "make check" takes 7m57s, old "make fastcheck" takes 3m28s, and this takes only 1m57s, but much more is run (as shown by the larger score total).
Showing
Please register or sign in to comment