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/install.sh | |
parent | 099082add603e5ce66abab81b643a55ae497a293 (diff) | |
download | gnunet-6957c130c07773ecf9fdd0e2e5e423897cea5901.tar.gz gnunet-6957c130c07773ecf9fdd0e2e5e423897cea5901.zip |
add build tasks
Diffstat (limited to '.buildbot/install.sh')
-rwxr-xr-x | .buildbot/install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.buildbot/install.sh b/.buildbot/install.sh new file mode 100755 index 000000000..b22f3aae0 --- /dev/null +++ b/.buildbot/install.sh | |||
@@ -0,0 +1,3 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | make install | ||