diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-14 17:01:34 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-14 17:01:34 +0200 |
commit | 6957c130c07773ecf9fdd0e2e5e423897cea5901 (patch) | |
tree | a07efb4f5b2b2c1bcfecd8052aa0378b02c6d401 /.buildbot/build.sh | |
parent | 099082add603e5ce66abab81b643a55ae497a293 (diff) | |
download | gnunet-6957c130c07773ecf9fdd0e2e5e423897cea5901.tar.gz gnunet-6957c130c07773ecf9fdd0e2e5e423897cea5901.zip |
add build tasks
Diffstat (limited to '.buildbot/build.sh')
-rwxr-xr-x | .buildbot/build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.buildbot/build.sh b/.buildbot/build.sh new file mode 100755 index 000000000..394558ff0 --- /dev/null +++ b/.buildbot/build.sh | |||
@@ -0,0 +1,5 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | ./bootstrap | ||
4 | ./configure --prefix=/tmp/gnunet --enable-experimental | ||
5 | make | ||