diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-25 17:17:08 +0800 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-25 10:41:33 +0100 |
commit | 39af01e68918c91d006674fd1907e61976c69cb8 (patch) | |
tree | d1cf0284d10a91cfd1a887df63781f94e126ec04 /dgit | |
parent | e898aa91a3a3dd30f83cbc2f2482ad8c189776af (diff) |
dgit: rename $ignoredirty -> $includedirty
This better reflects the effects that the option has.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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'; |