diff options
Diffstat (limited to 'Utility')
| -rw-r--r-- | Utility/Batch.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Utility/Batch.hs b/Utility/Batch.hs index 8da8a03f7..a3df1c362 100644 --- a/Utility/Batch.hs +++ b/Utility/Batch.hs @@ -63,6 +63,7 @@ batchCommandEnv command params environ = do void $ waitForProcess pid E.throwIO asyncexception where +#ifndef mingw32_HOST_OS p = proc "sh" [ "-c" , "exec " ++ nicedcommand @@ -71,3 +72,6 @@ batchCommandEnv command params environ = do nicedcommand | Build.SysConfig.nice = "nice " ++ commandline | otherwise = commandline +#else + p = proc command (toCommand paras) +#endif |