diff options
Diffstat (limited to 'scripts/ci/distcheck.sh')
| -rwxr-xr-x | scripts/ci/distcheck.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci/distcheck.sh b/scripts/ci/distcheck.sh index 6cf49f8a7..9d45536f4 100755 --- a/scripts/ci/distcheck.sh +++ b/scripts/ci/distcheck.sh @@ -16,4 +16,4 @@ export CI="true" # Additional configure flags for distcheck export DISTCHECK_CONFIGURE_FLAGS="${CONF}" -make -j $(nproc) distcheck +make distcheck |