diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-10-17 15:56:56 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-10-17 15:56:56 -0400 |
| commit | 02bc092940bc2c167d86e4aedfde4cc742d34e0c (patch) | |
| tree | 83a9a3398994cb0bafedc59a17c8c0ee163c4b94 /Build/BundledPrograms.hs | |
| parent | d3af9d383a02a0c557b84b30f11267deae49e347 (diff) | |
try working around windows xargs problem
Diffstat (limited to 'Build/BundledPrograms.hs')
| -rw-r--r-- | Build/BundledPrograms.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/BundledPrograms.hs b/Build/BundledPrograms.hs index 7ce3900c1..7100af503 100644 --- a/Build/BundledPrograms.hs +++ b/Build/BundledPrograms.hs @@ -24,7 +24,10 @@ bundledPrograms = catMaybes , Just "git" #endif , Just "cp" +#ifndef mingw32_HOST_OS + -- using xargs on windows led to problems, so it's not used there , Just "xargs" +#endif , Just "rsync" , Just "ssh" #ifndef mingw32_HOST_OS |