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