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 | CMake: Update liblzma-config.cmake generation. (diff) | |
download | xz-8be5cc3b1359d88b4b30a39067466c0ae0bfbc4d.tar.xz |
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.
Diffstat (limited to '')
-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 8edeb3c5..7fb180c2 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 ;; |