From bc0cc9d610a4f5de901ad9a878fe5c6c7b1708c9 Mon Sep 17 00:00:00 2001
From: Oliver Tale-Yazdi <oliver.tale-yazdi@parity.io>
Date: Mon, 19 Sep 2022 15:20:01 +0200
Subject: [PATCH] Use correct file header for 'benchmark overhead' (#5984)

Signed-off-by: Oliver Tale-Yazdi <oliver.tale-yazdi@parity.io>

Signed-off-by: Oliver Tale-Yazdi <oliver.tale-yazdi@parity.io>
Co-authored-by: parity-processbot <>
---
 scripts/ci/run_benches_for_runtime.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/ci/run_benches_for_runtime.sh b/scripts/ci/run_benches_for_runtime.sh
index cd9cb5be8e98..d88ca343d6cf 100755
--- a/scripts/ci/run_benches_for_runtime.sh
+++ b/scripts/ci/run_benches_for_runtime.sh
@@ -62,7 +62,8 @@ OUTPUT=$(
   --wasm-execution=compiled \
   --weight-path="runtime/${runtime}/constants/src/weights/" \
   --warmup=10 \
-  --repeat=100
+  --repeat=100 \
+  --header=./file_header.txt
 )
 if [ $? -ne 0 ]; then
   echo "$OUTPUT" >> "$ERR_FILE"