diff options
| author | Joey Hess <joey@kitenet.net> | 2014-01-13 18:10:21 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-01-13 18:10:21 -0400 |
| commit | 14ce1badd4210ebb2660e0fb22ba4ff7f2986dee (patch) | |
| tree | a0eb1548d7d879631cef51266e8f2ee65fa7a66f /Utility/Batch.hs | |
| parent | dd1d8e69d4c190c7bb60d5187f7a889c6fea0d62 (diff) | |
| download | git-repair-14ce1badd4210ebb2660e0fb22ba4ff7f2986dee.tar.gz | |
merge from git-annex
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 61026f1..3f21478 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"]) +#endif , ("nocache", []) ] return $ \(command, params) -> |