diff options
| author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-09-03 15:17:52 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-09-03 15:17:52 +0200 |
| commit | 4f7ae29989473ee3089a95618f27b26c8f7bd9a8 (patch) | |
| tree | 3d61098aee6ca870f580ede21ee8b6dd3df81b08 /.buildbot | |
| parent | bb86d6483bb198ef4189d4aba8ab26650ba2091e (diff) | |
| download | gnunet-4f7ae29989473ee3089a95618f27b26c8f7bd9a8.tar.gz gnunet-4f7ae29989473ee3089a95618f27b26c8f7bd9a8.zip | |
-touch build config !coverity
Diffstat (limited to '.buildbot')
| -rwxr-xr-x | .buildbot/build.sh | 2 |
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 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | echo "Cleanup old installation..." | 2 | echo "Cleanup old installation..." |
| 3 | rm -rf /tmp/gnunet | 3 | rm -rf /tmp/gnunet |
| 4 | ./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make -j8 | 4 | ./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make -j16 |