warnings
This commit is contained in:
parent
1830f501ee
commit
8e45b0f77b
|
@ -18,7 +18,6 @@ import Utility.UserInfo
|
||||||
import Utility.Monad
|
import Utility.Monad
|
||||||
import Utility.Process
|
import Utility.Process
|
||||||
import Utility.SafeCommand
|
import Utility.SafeCommand
|
||||||
import Utility.Directory
|
|
||||||
import Utility.Exception
|
import Utility.Exception
|
||||||
|
|
||||||
import Control.Monad
|
import Control.Monad
|
||||||
|
@ -64,11 +63,11 @@ wrapper args propellordir propellorbin = do
|
||||||
disthead = propellordir </> "head"
|
disthead = propellordir </> "head"
|
||||||
|
|
||||||
checkRepo = whenM (doesFileExist disthead) $ do
|
checkRepo = whenM (doesFileExist disthead) $ do
|
||||||
head <- readFile disthead
|
headrev <- readFile disthead
|
||||||
changeWorkingDirectory propellordir
|
changeWorkingDirectory propellordir
|
||||||
headknown <- catchMaybeIO $
|
headknown <- catchMaybeIO $
|
||||||
withQuietOutput createProcessSuccess $
|
withQuietOutput createProcessSuccess $
|
||||||
proc "git" ["log", head]
|
proc "git" ["log", headrev]
|
||||||
when (headknown == Nothing)
|
when (headknown == Nothing)
|
||||||
warnoutofdate
|
warnoutofdate
|
||||||
warnoutofdate = do
|
warnoutofdate = do
|
||||||
|
|
Loading…
Reference in New Issue