diff options
| author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-14 17:32:44 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-14 17:32:44 +0200 |
| commit | 16808e1595779ae929027a4013cb4e98a6818b7f (patch) | |
| tree | 0124ee588d663a175a90933b15f70ebef20ca040 | |
| parent | 3cc9e3d7ea66e7b37b63b7f02d1cbfc7d8658539 (diff) | |
| download | www-16808e1595779ae929027a4013cb4e98a6818b7f.tar.gz www-16808e1595779ae929027a4013cb4e98a6818b7f.zip | |
add more build tasks
| -rwxr-xr-x | .buildbot/build.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.buildbot/build.sh b/.buildbot/build.sh new file mode 100755 index 00000000..da209c09 --- /dev/null +++ b/.buildbot/build.sh | |||
| @@ -0,0 +1,10 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | ./bootstrap | ||
| 4 | ./configure | ||
| 5 | make | ||
| 6 | if [ $? -eq 0 ]; then | ||
| 7 | exit 0 | ||
| 8 | fi | ||
| 9 | echo "Try again" | ||
| 10 | make | ||