diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/distcheck.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/scripts/ci/distcheck.sh b/scripts/ci/distcheck.sh index c78349e2d..9d45536f4 100755 --- a/scripts/ci/distcheck.sh +++ b/scripts/ci/distcheck.sh @@ -7,15 +7,13 @@ fi cd "$(dirname "$0")"/../.. ./bootstrap -./configure \ - --enable-user-guides +./configure ${CONF} # Ignore possible failures there because these tests depends on measurements # and systems might differ in performance. export CI="true" -make distcheck - -make clean +# Additional configure flags for distcheck +export DISTCHECK_CONFIGURE_FLAGS="${CONF}" -make distcheck DISTCHECK__CONFIGURE_FLAGS=--disable-abi-compat +make distcheck |