diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-02-22 20:28:38 -0500 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-02-22 20:28:38 -0500 |
commit | 63394a539e9cc2d97e022f9c73473baf78c2b020 (patch) | |
tree | 173a351527f79fa6cbf636de531a2fec0c2205e1 | |
parent | 47b5e916b2a84a378ec08b3b03531f9a8ccc062b (diff) |
made patches/gnutls/build set -e
-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 |