aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xbuild-aux/ci_build.sh2
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