From 29374c261344184996a215162d52d9db680a90f4 Mon Sep 17 00:00:00 2001 From: Siarhei Fedartsou Date: Thu, 6 Jun 2024 12:19:53 +0200 Subject: [PATCH] wip --- scripts/ci/run_benchmarks.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/ci/run_benchmarks.sh b/scripts/ci/run_benchmarks.sh index 2e3544241..7b78ed66c 100755 --- a/scripts/ci/run_benchmarks.sh +++ b/scripts/ci/run_benchmarks.sh @@ -5,12 +5,12 @@ function measure_peak_ram_and_time { COMMAND=$1 OUTPUT_FILE=$2 - OUTPUT=$(/usr/bin/time -f "%E %M" $COMMAND 2>&1 | tail -n 1) + OUTPUT=$(/usr/bin/time -f "%e %M" $COMMAND 2>&1 | tail -n 1) TIME=$(echo $OUTPUT | awk '{print $1}') PEAK_RAM_KB=$(echo $OUTPUT | awk '{print $2}') PEAK_RAM_MB=$(echo "scale=2; $PEAK_RAM_KB / 1024" | bc) - echo "Time: $TIME Peak RAM: $PEAK_RAM_MB MB" > $OUTPUT_FILE + echo "Time: ${TIME}s Peak RAM: ${PEAK_RAM_MB}MB" > $OUTPUT_FILE } function run_benchmarks_for_folder {