diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/mfh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/mfh b/Tools/scripts/mfh index 804d7df5378a..226d28b5de4f 100755 --- a/Tools/scripts/mfh +++ b/Tools/scripts/mfh @@ -55,7 +55,7 @@ ask() { return 1 } -[ $# -le 2 ] && err "$(basename $0) requires at least 2 arguments: <branch> <revnumber> [<revnumber>...]" +[ $# -lt 2 ] && err "$(basename $0) requires at least 2 arguments: <branch> <revnumber> [<revnumber>...]" branch=$1 shift revs="" |