diff options
| author | Jia Tan <jiat0218@gmail.com> | 2023-03-28 22:45:42 +0800 |
|---|---|---|
| committer | Jia Tan <jiat0218@gmail.com> | 2023-03-29 23:46:43 +0800 |
| commit | 8be5cc3b1359d88b4b30a39067466c0ae0bfbc4d (patch) | |
| tree | 35e025f657f3bd570072d71e8cd92531ddd01dc1 | |
| parent | 2cb6028fc31de082b7f927632363bb1426b61aaa (diff) | |
| download | xz-8be5cc3b1359d88b4b30a39067466c0ae0bfbc4d.tar.gz | |
CI: Removes CMakeCache.txt between builds.
If the cache file is not removed, CMake will not reset configurations
back to their default values. In order to make the tests independent, it
is simplest to purge the cache. Unfortunatly, this will slow down the
tests a little and repeat some checks.
| -rwxr-xr-x | build-aux/ci_build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index 8edeb3c..7fb180c 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -218,6 +218,8 @@ then # CMake disables the shared library by default. add_extra_option "$SHARED" "-DBUILD_SHARED_LIBS=ON" "" + # Remove old cache file to clear previous settings. + rm -f "CMakeCache.txt" cmake "$SRC_DIR/CMakeLists.txt" -B "$DEST_DIR" $EXTRA_OPTIONS -DADDITIONAL_CHECK_TYPES="$CHECK_TYPE" make ;; |