diff options
Diffstat (limited to 'Tools/scripts')
-rwxr-xr-x | Tools/scripts/bump_revision.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/bump_revision.pl b/Tools/scripts/bump_revision.pl index 234924dedb66..c878f84f3a26 100755 --- a/Tools/scripts/bump_revision.pl +++ b/Tools/scripts/bump_revision.pl @@ -109,7 +109,7 @@ my ($portsdir, $INDEX); { $opt_i = ""; $opt_u = ""; - getopts("fgi:lnu:p:"); + getopts("fgi:lnu:p:") or die "Aborting"; $shallow = $opt_l if $opt_l; if ($opt_l and $opt_g) { die "Options -g and -l given, which are mutually exclusive. Pick either."; |