diff options
| -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 |