1
0
mirror of https://github.com/nlohmann/json.git synced 2026-07-21 19:23:03 +04:00

📝 release preparation

This commit is contained in:
Niels Lohmann
2018-08-18 12:00:14 +02:00
parent 6899fa304c
commit 3811daa8a3
7 changed files with 175 additions and 37 deletions
+1 -1
View File
@@ -86,7 +86,7 @@ clean:
coverage:
mkdir build_coverage
cd build_coverage ; CXX=g++-5 cmake .. -GNinja -DJSON_Coverage=ON -DJSON_MultipleHeaders=ON
cd build_coverage ; CXX=g++-7 cmake .. -GNinja -DJSON_Coverage=ON -DJSON_MultipleHeaders=ON
cd build_coverage ; ninja
cd build_coverage ; ctest -E '.*_default' -j10
cd build_coverage ; ninja lcov_html