diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-23 16:56:20 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-24 02:05:08 +0100 |
commit | ccfc95580e156fea90357f0478ea013ac2231640 (patch) | |
tree | eb7afa9676010f222678e928c3429c655e4a23c1 | |
parent | 0065acabe8a273a32c30043fc41ee063166d29ce (diff) |
Ignore unknown force options (with a warning)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | dgit | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -5230,6 +5230,10 @@ sub parseopts () { push @ropts, $&; $forceopts{$1} = 1; $_=''; + } elsif (m/^--force-/) { + print STDERR + "$us: warning: ignoring unknown force option $_\n"; + $_=''; } elsif (m/^--dgit-tag-format=(old|new)$/s) { # undocumented, for testing push @ropts, $_; |