diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-26 16:44:47 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-26 16:44:47 +0100 |
commit | 7cf634614b9a4ee18a70030e3b340dccd470f908 (patch) | |
tree | 1462eba172d39f8f81fbe8e1b3aba1fc63af85ff /dgit | |
parent | d833b697cbd9e0b743b79242209c78651845f559 (diff) |
New --ignore-dirty option to skip noncritical check. Closes: #720895.
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -36,6 +36,7 @@ our $sign = 1; our $dryrun = 0; our $changesfile; our $new_package = 0; +our $ignoredirty = 0; our $existing_package = 'dpkg'; our $cleanmode = 'dpkg-source'; @@ -763,6 +764,7 @@ sub pull () { } sub check_not_dirty () { + return if $ignoredirty; my @cmd = (@git, qw(diff --quiet HEAD)); printcmd(\*DEBUG,"+",@cmd) if $debug>0; $!=0; $?=0; system @cmd; @@ -1193,6 +1195,8 @@ sub parseopts () { $cleanmode = $1; } elsif (m/^--clean=(.*)$/s) { badusage "unknown cleaning mode \`$1'"; + } elsif (m/^--ignore-dirty$/s) { + $ignoredirty = 1; } else { badusage "unknown long option \`$_'"; } |