diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-11-12 17:47:31 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-11-12 17:50:34 -0400 |
commit | ba78630681ab7e987b70e67acaaf477912fe00bb (patch) | |
tree | ffe1202f212114fca535db22dba02de229d00330 /Annex/LockPool.hs | |
parent | 00fdc3063fe586cdce35ba8dbe2f1b024479522c (diff) |
pid locking configuration and abstraction layer for git-annex
(not actually used anywhere yet)
Diffstat (limited to 'Annex/LockPool.hs')
-rw-r--r-- | Annex/LockPool.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Annex/LockPool.hs b/Annex/LockPool.hs new file mode 100644 index 000000000..c6a34720e --- /dev/null +++ b/Annex/LockPool.hs @@ -0,0 +1,17 @@ +{- Wraps Utility.LockPool, making pid locks be used when git-annex is so + - configured. + - + - Copyright 2015 Joey Hess <id@joeyh.name> + - + - Licensed under the GNU GPL version 3 or higher. + -} + +{-# LANGUAGE CPP #-} + +module Annex.LockPool (module X) where + +#ifndef mingw32_HOST_OS +import Annex.LockPool.PosixOrPid as X +#else +import Utility.LockPool.Windows as X +#endif |