chiark / gitweb /
Ignore unknown force options (with a warning)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Oct 2016 15:56:20 +0000 (16:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 24 Oct 2016 01:05:08 +0000 (02:05 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit

diff --git a/dgit b/dgit
index e22036b..98928e3 100755 (executable)
--- 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, $_;