mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Revert "remove dep on Win32-extras"

Browse source 
This reverts commit 8b5480c66a.

Yeah, too early for that too
This commit is contained in:
Joey Hess 2017-11-09 15:09:14 -04:00
parent bc4f1ed918
commit d18bc52caf
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
3 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Utility/PID.hs
View file

@ -13,7 +13,8 @@ module Utility.PID where
import System.Posix.Types (ProcessID)
import System.Posix.Process (getProcessID)
#else
import System.Win32.Process (ProcessId, getCurrentProcessId)
import System.Win32.Process (ProcessId)
import System.Win32.Process.Current (getCurrentProcessId)
#endif
#ifndef mingw32_HOST_OS