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

remove dep on Win32-extras

Browse source 
Win32 now has its own getCurrentProcessId.
This commit is contained in:
Joey Hess 2017-11-09 14:03:06 -04:00
parent 5393479ef6
commit 8b5480c66a
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
3 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Utility/PID.hs
View file

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