[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: fix build pipeline
From: |
gnunet |
Subject: |
[gnunet] branch master updated: fix build pipeline |
Date: |
Sun, 16 Aug 2020 22:01:17 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnunet] branch master updated: fix build pipeline,
gnunet <=