ci: use production profile for benchmarks (#5100)

polkadot/.gitlab-ci.yml

@@ -514,12 +514,13 @@ update_polkadot_weights:           &update-weights
   stage:                           stage2
   when:                            manual
   variables:
+    PROFILE:                       production
     RUNTIME:                       polkadot
   artifacts:
     paths:
       - ${RUNTIME}_weights_${CI_COMMIT_SHORT_SHA}.patch
   script:
-    - ./scripts/run_benches_for_runtime.sh $RUNTIME
+    - ./scripts/run_benches_for_runtime.sh $RUNTIME $PROFILE
     - git diff -P > ${RUNTIME}_weights_${CI_COMMIT_SHORT_SHA}.patch
   # uses the "shell" executors
   tags:

polkadot/scripts/run_benches_for_runtime.sh

@@ -5,7 +5,8 @@
 # current reference machine: https://github.com/paritytech/substrate/pull/5848
 
 runtime="$1"
-standard_args="--release --locked --features=runtime-benchmarks"
+profile="$2"
+standard_args="--profile $profile --locked --features=runtime-benchmarks"
 
 echo "[+] Running all benchmarks for $runtime"