summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2020-08-16 21:54:35 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2020-08-16 21:54:35 +0200
commit4dca8c3557a50ae5be9c105aa5fb2f85d99d917a (patch)
tree883f0ec2eb7e390cbeb83e8ea1eba5aad865237c
parentf1f40feb2beb5c036da0e2b93c433b09b920e0b4 (diff)
fix build pipeline
-rwxr-xr-x.buildbot/build.sh4
1 files changed, 1 insertions, 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