diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/contrib/build-perf-test-wrapper.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/contrib/build-perf-test-wrapper.sh b/scripts/contrib/build-perf-test-wrapper.sh index d61e438933..90dd545495 100755 --- a/scripts/contrib/build-perf-test-wrapper.sh +++ b/scripts/contrib/build-perf-test-wrapper.sh | |||
| @@ -57,6 +57,14 @@ while getopts "ha:c:C:w:" opt; do | |||
| 57 | esac | 57 | esac |
| 58 | done | 58 | done |
| 59 | 59 | ||
| 60 | # Check positional args | ||
| 61 | shift "$((OPTIND - 1))" | ||
| 62 | if [ $# -ne 0 ]; then | ||
| 63 | echo "ERROR: No positional args are accepted." | ||
| 64 | usage | ||
| 65 | exit 1 | ||
| 66 | fi | ||
| 67 | |||
| 60 | echo "Running on `uname -n`" | 68 | echo "Running on `uname -n`" |
| 61 | if ! git_topdir=$(git rev-parse --show-toplevel); then | 69 | if ! git_topdir=$(git rev-parse --show-toplevel); then |
| 62 | echo "The current working dir doesn't seem to be a git clone. Please cd there before running `basename $0`" | 70 | echo "The current working dir doesn't seem to be a git clone. Please cd there before running `basename $0`" |
