[gnurl] branch master updated: remove bash

[gnunet]

This is an automated email from the git hooks/post-receive script.

nikita pushed a commit to branch master
in repository gnurl.

The following commit(s) were added to refs/heads/master by this push:
     new efe73ba15 remove bash
efe73ba15 is described below

commit efe73ba15fc2055b3b83454312200182b9d92926
Author: nikita <address@hidden>
AuthorDate: Thu Apr 30 16:59:13 2020 +0200

    remove bash
---
 scripts/travis/before_script.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/travis/before_script.sh b/scripts/travis/before_script.sh
index c71007857..92f5cb233 100755
--- a/scripts/travis/before_script.sh
+++ b/scripts/travis/before_script.sh
@@ -20,6 +20,6 @@
 # KIND, either express or implied.
 #
 ###########################################################################
-set -eo pipefail
+set -e
 
 ./buildconf

-- 
To stop receiving notification emails like this one, please contact
address@hidden.