Proper disable-library-profiling
This commit is contained in:
parent
d77972ab60
commit
05ca4bc907
@ -66,8 +66,8 @@ devel isDevel = do
|
|||||||
checkCabalFile gpd
|
checkCabalFile gpd
|
||||||
|
|
||||||
_ <- if isDevel
|
_ <- if isDevel
|
||||||
then rawSystem "cabal-dev" ["configure", "--cabal-install-arg=-fdevel"]
|
then rawSystem "cabal-dev" ["configure", "--cabal-install-arg=-fdevel", "--disable-library-profiling"]
|
||||||
else rawSystem "cabal" ["configure", "-fdevel"]
|
else rawSystem "cabal" ["configure", "-fdevel", "--disable-library-profiling"]
|
||||||
|
|
||||||
T.writeFile "dist/devel.hs" (develFile pid)
|
T.writeFile "dist/devel.hs" (develFile pid)
|
||||||
|
|
||||||
|
|||||||
@ -36,7 +36,7 @@ main = do
|
|||||||
#endif
|
#endif
|
||||||
["devel"] -> devel isDev
|
["devel"] -> devel isDev
|
||||||
["version"] -> putStrLn "0.9"
|
["version"] -> putStrLn "0.9"
|
||||||
"configure":rest -> rawSystem cmd ("configure":"--disable-library-profiling":rest) >>= exitWith
|
"configure":rest -> rawSystem cmd ("configure":rest) >>= exitWith
|
||||||
_ -> do
|
_ -> do
|
||||||
putStrLn "Usage: yesod <command>"
|
putStrLn "Usage: yesod <command>"
|
||||||
putStrLn "Available commands:"
|
putStrLn "Available commands:"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user