minor #6177 DX: chmod +x for benchmark.sh file (keradus)

This PR was merged into the master branch. Discussion ---------- DX: chmod +x for benchmark.sh file Commits ------- ab538a4 DX: chmod +x for benchmark.sh file
PHP-CS-Fixer · Dec 15, 2021 · 175c2ce · 175c2ce
2 parents cf07446 + ab538a4
commit 175c2ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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