diff options
| author | Marco Castelluccio <mcastelluccio@mozilla.com> | 2017-06-06 00:42:09 +0100 |
|---|---|---|
| committer | Marco Castelluccio <mcastelluccio@mozilla.com> | 2017-06-06 00:42:09 +0100 |
| commit | 13b3c34e4bf38ad6e6f0453ab84029faf5dd5058 (patch) | |
| tree | aacf7266a1dbbf45c7e61c354f20c9d3bbc2dbc4 | |
| parent | 84d1626e517346e2a603788b8026c17e754f4144 (diff) | |
| download | rust-13b3c34e4bf38ad6e6f0453ab84029faf5dd5058.tar.gz rust-13b3c34e4bf38ad6e6f0453ab84029faf5dd5058.zip | |
Spell profiler option correctly...
| -rwxr-xr-x | src/ci/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 7885a5b2243..763d6684463 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -32,7 +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-openssl-static" RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-llvm-clean-rebuild" -RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-profiling" +RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-profiler" if [ "$DIST_SRC" = "" ]; then RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --disable-dist-src" |