From fece3f6432718cb0f01738e7b3fd55179afec113 Mon Sep 17 00:00:00 2001 From: Dmytro Yurchenko <dmytro.yurchenko@datadoghq.com> Date: Mon, 13 Jan 2025 14:09:01 +0100 Subject: [PATCH] DO NOT MERGE! This PR is only for verification --- benchmark/sirun/runall.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/benchmark/sirun/runall.sh b/benchmark/sirun/runall.sh index 0b2d88d328e..c1f189f5616 100755 --- a/benchmark/sirun/runall.sh +++ b/benchmark/sirun/runall.sh @@ -1,5 +1,7 @@ #!/bin/bash +# DO NOT MERGE! Verify that script works correctly. + set -e # Temporary until merged to master