diff options
author | Jia Tan <jiat0218@gmail.com> | 2023-01-18 21:51:43 +0800 |
---|---|---|
committer | Jia Tan <jiat0218@gmail.com> | 2023-01-18 21:51:43 +0800 |
commit | dd1c1135741057c91e8d018be9ec4d43968b0e64 (patch) | |
tree | 6a7dfec26789404a3848d28853cd864c18fee0f0 | |
parent | xz: Add missing comment for coder_set_compression_settings() (diff) | |
download | xz-dd1c1135741057c91e8d018be9ec4d43968b0e64.tar.xz |
CI: Enable --config-cache in autotool builds.
If CFLAGS are set in a build, the cache must be cleared with
"make distclean", or by deleting the cache file.
-rwxr-xr-x | build-aux/ci_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index e2c09cdb..2d0f8643 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -158,7 +158,7 @@ if [ "$PHASE" = "all" ] || [ "$PHASE" = "build" ]; then fi # Run configure script - "$SRC_DIR"/configure --enable-werror --enable-checks=$CHECK_TYPE $EXTRA_OPTIONS + "$SRC_DIR"/configure --enable-werror --enable-checks=$CHECK_TYPE $EXTRA_OPTIONS --config-cache # Build the project make |