diff options
Diffstat (limited to 'patches')
| -rwxr-xr-x | patches/gnutls/build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/patches/gnutls/build b/patches/gnutls/build index 77f5900..b42832a 100755 --- 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 |