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 /doc/bugs | |
parent | f921c1e9cd13ff33391e1612b2d4f153cc38502a (diff) |
Fix build failure when wget is not installed.
Diffstat (limited to 'doc/bugs')
-rw-r--r-- | doc/bugs/Build_fails_when_no_wget_avalible.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/bugs/Build_fails_when_no_wget_avalible.mdwn b/doc/bugs/Build_fails_when_no_wget_avalible.mdwn index 2bfec7a9a..565060518 100644 --- a/doc/bugs/Build_fails_when_no_wget_avalible.mdwn +++ b/doc/bugs/Build_fails_when_no_wget_avalible.mdwn @@ -38,3 +38,9 @@ ExitFailure 1 """]] -- Carl + +> wget is not intended to be a hard build dependency. The Debian package +> should always be built with wget, so it's a build-dependency there. +> +> I've fixed the configure script to not crash in this situation. +> [[done]]. --[[Joey]] |