Spell profiler option correctly...

This commit is contained in:
Marco Castelluccio 2017-06-06 00:42:09 +01:00
parent 84d1626e51
commit 13b3c34e4b

View File

@ -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"