[gnunet] branch master updated: -touch build config !coverity

[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 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.