From 39af01e68918c91d006674fd1907e61976c69cb8 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Wed, 25 Jul 2018 17:17:08 +0800 Subject: [PATCH] dgit: rename $ignoredirty -> $includedirty This better reflects the effects that the option has. Signed-off-by: Sean Whitton --- dgit | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dgit b/dgit index de81cf98..a5470d4d 100755 --- a/dgit +++ b/dgit @@ -66,7 +66,7 @@ our $changesfile; our $buildproductsdir; our $bpd_glob; our $new_package = 0; -our $ignoredirty = 0; +our $includedirty = 0; our $rmonerror = 1; our @deliberatelies; our %previously; @@ -3736,7 +3736,7 @@ sub check_not_dirty () { } } - return if $ignoredirty; + return if $includedirty; git_check_unmodified(); } @@ -6865,7 +6865,7 @@ sub parseopts () { $quilt_mode = $1; } elsif (m/^--ignore-dirty$/s) { push @ropts, $_; - $ignoredirty = 1; + $includedirty = 1; } elsif (m/^--no-quilt-fixup$/s) { push @ropts, $_; $quilt_mode = 'nocheck'; -- 2.30.2