diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-07-02 15:24:33 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-07-02 15:24:33 -0400 |
| commit | aba9315cdec904618c6fea307e0552f52ee53778 (patch) | |
| tree | f1898b8282e379accd3916c0fa72785bd3cdb724 /Utility | |
| parent | ce70ef70e630882c0703852bc04415d67be9e87c (diff) | |
avoid "Defined but not used" warning on android
Diffstat (limited to 'Utility')
| -rw-r--r-- | Utility/CopyFile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Utility/CopyFile.hs b/Utility/CopyFile.hs index 1c07ca110..46bc43d50 100644 --- a/Utility/CopyFile.hs +++ b/Utility/CopyFile.hs @@ -42,7 +42,7 @@ copyFileExternal meta src dest = do , Param "--preserve=timestamps") ] #else - params = [] + params = if allmeta then [] else [] #endif allmeta = meta == CopyAllMetaData |