summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-01-05 20:27:06 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-01-05 20:27:06 +0000
commit6c32ca2f056fc65bfc1aedbac6cdccdec0df0e01 (patch)
tree173de8933ab1e92c4913fb35075bd3acca6db414 /dgit
parent1ac02b63e0fe5e6f0f708c268e46799786307f13 (diff)
dgit: Provide --program!:option
Apropos of #904862. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit6
1 files changed, 6 insertions, 0 deletions
diff --git a/dgit b/dgit
index c62d1cc..a5f9314 100755
--- a/dgit
+++ b/dgit
@@ -7192,6 +7192,12 @@ sub parseopts () {
($om = $opts_opt_map{$1})) {
push @ropts, $_;
push @$om, $2;
+ } elsif (m/^--([-0-9a-z]+)\!:(.*)/s &&
+ !$opts_opt_cmdonly{$1} &&
+ ($om = $opts_opt_map{$1})) {
+ push @ropts, $_;
+ my $cmd = shift @$om;
+ @$om = ($cmd, grep { $_ ne $2 } @$om);
} elsif (m/^--(gbp|dpm)$/s) {
push @ropts, "--quilt=$1";
$quilt_mode = $1;