Spell profiler option correctly...

diff --git a/src/ci/run.sh b/src/ci/run.sh
index 7885a5b22434e687d7d0337c19e26224f7ab64a7..763d6684463c24a0219f6ce8920499164fc22396 100755 (executable)
--- 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"