[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: -touch build config !coverity
From: |
gnunet |
Subject: |
[gnunet] branch master updated: -touch build config !coverity |
Date: |
Fri, 03 Sep 2021 15:17:59 +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 4f7ae2998 -touch build config !coverity
4f7ae2998 is described below
commit 4f7ae29989473ee3089a95618f27b26c8f7bd9a8
Author: Martin Schanzenbach <martin.schanzenbach@aisec.fraunhofer.de>
AuthorDate: Fri Sep 3 15:17:52 2021 +0200
-touch build config !coverity
---
.buildbot/build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.buildbot/build.sh b/.buildbot/build.sh
index 10578a051..8dfd1fccd 100755
--- a/.buildbot/build.sh
+++ b/.buildbot/build.sh
@@ -1,4 +1,4 @@
#!/bin/bash
echo "Cleanup old installation..."
rm -rf /tmp/gnunet
-./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make
-j8
+./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make
-j16
--
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: -touch build config !coverity,
gnunet <=