aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--admin/gitmerge.el8
1 files changed, 6 insertions, 2 deletions
diff --git a/admin/gitmerge.el b/admin/gitmerge.el
index e676e8fa025..a123e0352d7 100644
--- a/admin/gitmerge.el
+++ b/admin/gitmerge.el
@@ -483,8 +483,12 @@ Throw an user-error if we cannot resolve automatically."
483(defun gitmerge-maybe-resume () 483(defun gitmerge-maybe-resume ()
484 "Check if we have to resume a merge. 484 "Check if we have to resume a merge.
485If so, add no longer conflicted files and commit." 485If so, add no longer conflicted files and commit."
486 (let ((mergehead (file-exists-p 486 (let ((mergehead
487 (expand-file-name ".git/MERGE_HEAD" default-directory))) 487 (file-exists-p
488 (expand-file-name
489 "MERGE_HEAD"
490 (car (process-lines
491 "git" "rev-parse" "--no-flags" "--git-dir")))))
488 (statusexist (file-exists-p gitmerge-status-file))) 492 (statusexist (file-exists-p gitmerge-status-file)))
489 (when (and mergehead (not statusexist)) 493 (when (and mergehead (not statusexist))
490 (user-error "Unfinished merge, but no record of a previous gitmerge run")) 494 (user-error "Unfinished merge, but no record of a previous gitmerge run"))