From: Ondřej Surý <ondrej.sury@nic.cz>
Date: Wed, 11 Jan 2017 14:41:32 +0000 (+0100)
Subject: Merge branch 'bootstrap-gnutls-fix' into 'master'
X-Git-Tag: v1.2.0-rc1~37
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=577fcc3a6ef0332b7ccb1dbd4a08d1c64295d10f;p=thirdparty%2Fknot-resolver.git

Merge branch 'bootstrap-gnutls-fix' into 'master'

Actually exit 1 the bootstrap script on a failure

See merge request !119
---

577fcc3a6ef0332b7ccb1dbd4a08d1c64295d10f