From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 23 Oct 2016 15:56:20 +0000 (+0100)
Subject: Ignore unknown force options (with a warning)
X-Git-Tag: archive/debian/2.7~3
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=ccfc95580e156fea90357f0478ea013ac2231640

Ignore unknown force options (with a warning)

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

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