[gnunet] branch master updated: fix build pipeline

[gnunet]

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

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 4dca8c355 fix build pipeline
     new 7cb5ed981 Merge branch 'master' of ssh://gnunet.org/gnunet
4dca8c355 is described below

commit 4dca8c3557a50ae5be9c105aa5fb2f85d99d917a
Author: Martin Schanzenbach <mschanzenbach@posteo.de>
AuthorDate: Sun Aug 16 21:54:35 2020 +0200

    fix build pipeline
---
 .buildbot/build.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.buildbot/build.sh b/.buildbot/build.sh
index 394558ff0..f2cdb3f2a 100755
--- a/.buildbot/build.sh
+++ b/.buildbot/build.sh
@@ -1,5 +1,3 @@
 #!/bin/bash
 
-./bootstrap
-./configure --prefix=/tmp/gnunet --enable-experimental
-make
+./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.