From 4dca8c3557a50ae5be9c105aa5fb2f85d99d917a Mon Sep 17 00:00:00 2001
From: Martin Schanzenbach <mschanzenbach@posteo.de>
Date: Sun, 16 Aug 2020 21:54:35 +0200
Subject: fix build pipeline

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

(limited to '.buildbot')

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
-- 
cgit v1.2.3