From 66d63abe6d6c4cfc001c2b4a4d19344ec138d9ae Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Sun, 28 Jul 2019 18:40:11 +0200 Subject: [PATCH] Update Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 628f8c784..abc973896 100644 --- a/Makefile +++ b/Makefile @@ -86,7 +86,7 @@ coverage: coverage-fast: rm -fr 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 ; ctest -E '.*_default' -j10 cd build_coverage ; ninja fastcov_html