summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-23 16:56:20 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-24 02:05:08 +0100
commitccfc95580e156fea90357f0478ea013ac2231640 (patch)
treeeb7afa9676010f222678e928c3429c655e4a23c1
parent0065acabe8a273a32c30043fc41ee063166d29ce (diff)
Ignore unknown force options (with a warning)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xdgit4
1 files changed, 4 insertions, 0 deletions
diff --git a/dgit b/dgit
index e22036b..98928e3 100755
--- a/dgit
+++ b/dgit
@@ -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, $_;