Ignore unknown force options (with a warning)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/dgit b/dgit
index e22036b7d75ca308d3b605217a44ef71839b5505..98928e37ac3e0d9a3f18354c5366f367785a4a46 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, $_;