diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-01-15 15:42:15 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-01-15 15:42:15 -0400 |
commit | 422c9610aaa0a0a9c0b4ba7a97cff6c4585684e8 (patch) | |
tree | 4187801813204dac1299682e1f12c19334586292 /Build | |
parent | f921c1e9cd13ff33391e1612b2d4f153cc38502a (diff) |
Fix build failure when wget is not installed.
Diffstat (limited to 'Build')
-rw-r--r-- | Build/Configure.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/Configure.hs b/Build/Configure.hs index 0a0e87c3a..4498838a1 100644 --- a/Build/Configure.hs +++ b/Build/Configure.hs @@ -15,6 +15,7 @@ import Utility.Process import Utility.SafeCommand import Utility.ExternalSHA import Utility.Env +import Utility.Exception import qualified Git.Version import Utility.DottedVersion @@ -106,7 +107,8 @@ checkWgetQuietProgress = Config "wgetquietprogress" . BoolConfig <$> getWgetVersion getWgetVersion :: IO (Maybe DottedVersion) -getWgetVersion = extract <$> readProcess "wget" ["--version"] +getWgetVersion = catchDefaultIO Nothing $ + extract <$> readProcess "wget" ["--version"] where extract s = case lines s of [] -> Nothing |