diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-08-16 21:54:35 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-08-16 21:54:35 +0200 |
commit | 4dca8c3557a50ae5be9c105aa5fb2f85d99d917a (patch) | |
tree | 883f0ec2eb7e390cbeb83e8ea1eba5aad865237c /.buildbot | |
parent | f1f40feb2beb5c036da0e2b93c433b09b920e0b4 (diff) | |
download | gnunet-4dca8c3557a50ae5be9c105aa5fb2f85d99d917a.tar.gz gnunet-4dca8c3557a50ae5be9c105aa5fb2f85d99d917a.zip |
fix build pipeline
Diffstat (limited to '.buildbot')
-rwxr-xr-x | .buildbot/build.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.buildbot/build.sh b/.buildbot/build.sh index 394558ff0..f2cdb3f2a 100755 --- a/.buildbot/build.sh +++ b/.buildbot/build.sh | |||
@@ -1,5 +1,3 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | ||
3 | ./bootstrap | 3 | ./bootstrap && ./configure --prefix=/tmp/gnunet --enable-experimental && make |
4 | ./configure --prefix=/tmp/gnunet --enable-experimental | ||
5 | make | ||