chiark / gitweb /
dgit: git-debrebase interop: Add a missing debugcmd debugging print.
[dgit.git] / dgit
diff --git a/dgit b/dgit
index 2365bfce431b45869c07f650f2d398e7f01ed763..88db243261790717921deba420dea1ff3ff390cc 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -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 {