summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-02-15 18:45:17 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-06-16 12:25:49 +0100
commitf90d29c48dd4183174dd08f36d03e9db81636eb0 (patch)
tree179ac54aa4bed29183f044b67afd08bb3c4abf36 /dgit
parent942637ea633f1c9dc0be2534a660296a76b87e27 (diff)
Dgit.pm: break out git_check_unmodified from dgit
We (have to) use just "git" rather than @git, but this is OK I think. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit10
1 files changed, 1 insertions, 9 deletions
diff --git a/dgit b/dgit
index 573f39a..17e4fad 100755
--- a/dgit
+++ b/dgit
@@ -3692,15 +3692,7 @@ sub check_not_dirty () {
return if $ignoredirty;
- my @cmd = (@git, qw(diff --quiet HEAD));
- debugcmd "+",@cmd;
- $!=0; $?=-1; system @cmd;
- return if !$?;
- if ($?==256) {
- fail "working tree is dirty (does not match HEAD)";
- } else {
- failedcmd @cmd;
- }
+ git_check_unmodified();
}
sub commit_admin ($) {