diff options
| -rw-r--r-- | admin/gitmerge.el | 8 |
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. |
| 485 | If so, add no longer conflicted files and commit." | 485 | If 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")) |