cppcheck.

2020-12-20 07:15:03 +00:00
parent fa465071db
commit 101b1968f3
3 changed files with 11 additions and 94 deletions
@@ -15,7 +15,8 @@ j = "-DUSE_Z3=ON \
     -DBUILD_SHARED_LIBS=ON \
     -DBUILD_TESTS=OFF \
     -DCMAKE_BUILD_TYPE=Release \
-     -DCMAKE_DISABLE_PRECOMPILE_HEADERS=OFF \
+     -DUSE_BUNDLED_TINYXML2=OFF \
+     -DCMAKE_DISABLE_PRECOMPILE_HEADERS=ON \
     -DENABLE_CHECK_INTERNAL=ON \
     -DWITH_QCHART=ON -L \
    "