diff options
| author | Jack Lloyd <[email protected]> | 2015-10-14 16:33:09 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2015-10-14 16:33:09 -0400 |
| commit | d4e09c4f8a2235911875044d7cb4f499ab2e467d (patch) | |
| tree | 4d6fb790fc547913a68ab6ed6803ad5e566cde53 /src | |
| parent | 39052451400dd9beb12c350d87c2d48ff476210e (diff) | |
Add `--minimized-build` which does the same thing as `--no-autoload`
but the meaning of the option is probably easier to understand with
this name.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci/travis/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index 8bb8c9380..e1ced58d3 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -14,7 +14,7 @@ elif [ "$BUILD_MODE" = "sanitizer" ]; then fi if [ "$MODULES" = "min" ]; then - CFG_FLAGS+=(--no-autoload --enable-modules=base) + CFG_FLAGS+=(--minimized-build --enable-modules=base) fi # Workaround for missing update-alternatives |