From ab538a47e75ffbad4d82bd6c8c62acec383010cb Mon Sep 17 00:00:00 2001
From: Dariusz Ruminski <dariusz.ruminski@gmail.com>
Date: Tue, 14 Dec 2021 19:30:37 +0100
Subject: [PATCH] DX: chmod +x for benchmark.sh file

---
 benchmark.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 benchmark.sh

diff --git a/benchmark.sh b/benchmark.sh
old mode 100644
new mode 100755
index f3782a39193..20b8f6c12ab
--- a/benchmark.sh
+++ b/benchmark.sh
@@ -10,7 +10,7 @@ BRANCH2=${2:-''}
 
 if [ "" = "$BRANCH1" ] || [ "" = "$BRANCH2" ];
 then
-    echo "Usage: bash benchmark.sh BRANCH1 BRANCH2 ...BRANCHN"
+    echo "Usage: ./benchmark.sh BRANCH1 BRANCH2 ...BRANCHN"
     exit 1;
 fi