diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-02-15 18:45:17 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-16 12:25:49 +0100 |
commit | f90d29c48dd4183174dd08f36d03e9db81636eb0 (patch) | |
tree | 179ac54aa4bed29183f044b67afd08bb3c4abf36 /dgit | |
parent | 942637ea633f1c9dc0be2534a660296a76b87e27 (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-x | dgit | 10 |
1 files changed, 1 insertions, 9 deletions
@@ -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 ($) { |