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