diff options
| -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 |