diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-22 16:48:05 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-22 16:48:08 +0100 |
commit | 3405b073420845d4e72202577537e013d91abd25 (patch) | |
tree | 44a02e611993600aa57424bab0b854eaeacb79d2 /dgit | |
parent | 6be5332d24efc7a21c9b5c57ad30193badb16ff2 (diff) |
dgit: git-debrebase interop: Add a missing debugcmd debugging print.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5569,6 +5569,7 @@ END make-patches --quiet-would-amend)); # We tolerate soe snags that gdr wouldn't, by default. if (act_local()) { + debugcmd "+",@cmd; $!=0; $?=-1; failedcmd @cmd if system @cmd and $?!=7; } else { |