made patches/gnutls/build set -e

diff --git a/patches/gnutls/build b/patches/gnutls/build
index 77f5900de079656d1fe29a27637b675f33b44793..b42832a84023a8d91e5e84c77c4e10210eca0b29 100755 (executable)
--- a/patches/gnutls/build
+++ b/patches/gnutls/build
@@ -16,6 +16,8 @@
 # Note: please run this from the current directory, so it can find and
 # transfer the patch it needs.
 
+set -e
+
 if ! dpkg -l devscripts fakeroot >/dev/null ; then
     exit 1
 fi