diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2020-12-21 23:52:20 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2020-12-21 23:52:20 +0900 |
commit | 309cf872b25749feaa0ca6ba426da39d0b081f9d (patch) | |
tree | 2b629a82306b60ca544bb25c09b254a395444354 /.buildbot | |
parent | 90cab809e8adaa868155e3325f04bcdbfe26fe60 (diff) | |
download | gnunet-309cf872b25749feaa0ca6ba426da39d0b081f9d.tar.gz gnunet-309cf872b25749feaa0ca6ba426da39d0b081f9d.zip |
cleanup before build
Diffstat (limited to '.buildbot')
-rwxr-xr-x | .buildbot/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.buildbot/build.sh b/.buildbot/build.sh index f2cdb3f2a..f1f474ee7 100755 --- a/.buildbot/build.sh +++ b/.buildbot/build.sh | |||
@@ -1,3 +1,4 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | echo "Cleanup old installation..." | |
3 | rm -rf /tmp/gnunet | ||
3 | ./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make | 4 | ./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make |