diff options
author | 2015-09-11 14:01:42 -0400 | |
---|---|---|
committer | 2015-09-11 14:01:42 -0400 | |
commit | 14cca145c4277154a5165bfe82441135309ea0e4 (patch) | |
tree | a031ef354e97d14b75d9e51230c97a8d5f184330 | |
parent | 86c99446c3582361ab85d89520f7c20243aea3a7 (diff) |
git for windows includes curl, so avoid bundling it
-rw-r--r-- | Build/BundledPrograms.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/BundledPrograms.hs b/Build/BundledPrograms.hs index dea93c18e..bd1c25359 100644 --- a/Build/BundledPrograms.hs +++ b/Build/BundledPrograms.hs @@ -45,7 +45,6 @@ bundledPrograms = catMaybes #ifndef mingw32_HOST_OS , Just "sh" #endif - , ifset SysConfig.curl "curl" #ifndef darwin_HOST_OS -- wget on OSX has been problimatic, looking for certs in the wrong -- places. Don't ship it, use curl or the OSX's own wget if it has @@ -56,6 +55,7 @@ bundledPrograms = catMaybes , SysConfig.gcrypt #ifndef mingw32_HOST_OS -- All these utilities are included in git for Windows + , ifset SysConfig.curl "curl" , SysConfig.gpg , SysConfig.sha1 , SysConfig.sha256 |