diff options
| author | Joey Hess <joey@kitenet.net> | 2014-07-21 16:35:23 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-21 16:35:23 -0400 |
| commit | 619c8bd261a4fee0b0d40b664e55c51782e062f7 (patch) | |
| tree | ba39cd283d4c0fecb61c7a1bbbb803cc9459a222 /Git/Index.hs | |
| parent | 7882653e7856df87e598464379951ec89775cd1a (diff) | |
| download | git-repair-619c8bd261a4fee0b0d40b664e55c51782e062f7.tar.gz | |
Merge from git-annex.
Diffstat (limited to 'Git/Index.hs')
| -rw-r--r-- | Git/Index.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Git/Index.hs b/Git/Index.hs index d9d5b03..d712245 100644 --- a/Git/Index.hs +++ b/Git/Index.hs @@ -30,3 +30,7 @@ override index = do indexFile :: Repo -> FilePath indexFile r = localGitDir r </> "index" + +{- Git locks the index by creating this file. -} +indexFileLock :: Repo -> FilePath +indexFileLock r = indexFile r ++ ".lock" |