diff options
Diffstat (limited to 'Utility/Batch.hs')
| -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 61026f19e..cb3d918f3 100644 --- a/Utility/Batch.hs +++ b/Utility/Batch.hs @@ -52,7 +52,11 @@ getBatchCommandMaker = do #ifndef mingw32_HOST_OS nicers <- filterM (inPath . fst) [ ("nice", []) +#ifndef __ANDROID__ + -- Android's ionice does not allow specifying a command, + -- so don't use it. , ("ionice", ["-c3"]) +#else , ("nocache", []) ] return $ \(command, params) -> |