summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2021-09-03 15:17:52 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2021-09-03 15:17:52 +0200
commit4f7ae29989473ee3089a95618f27b26c8f7bd9a8 (patch)
tree3d61098aee6ca870f580ede21ee8b6dd3df81b08
parentbb86d6483bb198ef4189d4aba8ab26650ba2091e (diff)
-touch build config !coverity
-rwxr-xr-x.buildbot/build.sh2
1 files changed, 1 insertions, 1 deletions
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