diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2019-05-05 22:15:42 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2019-05-24 11:49:30 +0300 |
| commit | 28405cabd50181afa6eccfd7f2ee8eb363d35594 (patch) | |
| tree | 16d1e6c2276d4749946e6c83cca74ed5ac0a31ee /src/ci | |
| parent | 46805805abe58c287fa16963f897fd09d5d97467 (diff) | |
rustbuild: Simplify debuginfo configuration
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 42d0d7db596..14ae2ae3b01 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -32,6 +32,7 @@ RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --disable-manage-submodules" RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-locked-deps" RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-cargo-native-static" RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.codegen-units-std=1" +RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.debuginfo-level-std=1" if [ "$DIST_SRC" = "" ]; then RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --disable-dist-src" |