Update Makefile
This commit is contained in:
parent
d4fd731f1f
commit
66d63abe6d
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -86,7 +86,7 @@ coverage:
|
||||||
coverage-fast:
|
coverage-fast:
|
||||||
rm -fr build_coverage
|
rm -fr build_coverage
|
||||||
mkdir build_coverage
|
mkdir build_coverage
|
||||||
cd build_coverage ; CXX=$(COMPILER_DIR)/g++ cmake .. -GNinja -DJSON_Coverage=ON -DJSON_MultipleHeaders=ON
|
cd build_coverage ; CXX=g++-9 cmake .. -GNinja -DJSON_Coverage=ON -DJSON_MultipleHeaders=ON
|
||||||
cd build_coverage ; ninja
|
cd build_coverage ; ninja
|
||||||
cd build_coverage ; ctest -E '.*_default' -j10
|
cd build_coverage ; ctest -E '.*_default' -j10
|
||||||
cd build_coverage ; ninja fastcov_html
|
cd build_coverage ; ninja fastcov_html
|
||||||
|
|
Loading…
Reference in a new issue