From ccfc95580e156fea90357f0478ea013ac2231640 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 23 Oct 2016 16:56:20 +0100
Subject: Ignore unknown force options (with a warning)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 dgit | 4 ++++
 1 file changed, 4 insertions(+)

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, $_;
-- 
cgit v1.2.3