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 <>
This commit is contained in:
Oliver Tale-Yazdi
2022-09-19 15:20:01 +02:00
committed by GitHub
parent 059ad8a388
commit 4a3ce875e7
@@ -62,7 +62,8 @@ OUTPUT=$(
--wasm-execution=compiled \ --wasm-execution=compiled \
--weight-path="runtime/${runtime}/constants/src/weights/" \ --weight-path="runtime/${runtime}/constants/src/weights/" \
--warmup=10 \ --warmup=10 \
--repeat=100 --repeat=100 \
--header=./file_header.txt
) )
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
echo "$OUTPUT" >> "$ERR_FILE" echo "$OUTPUT" >> "$ERR_FILE"