[www] branch master updated: add more build tasks

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository www.

The following commit(s) were added to refs/heads/master by this push:
     new 16808e1  add more build tasks
16808e1 is described below

commit 16808e1595779ae929027a4013cb4e98a6818b7f
Author: Martin Schanzenbach <address@hidden>
AuthorDate: Thu May 14 17:32:44 2020 +0200

    add more build tasks
---
 .buildbot/build.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.buildbot/build.sh b/.buildbot/build.sh
new file mode 100755
index 0000000..da209c0
--- /dev/null
+++ b/.buildbot/build.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+./bootstrap
+./configure
+make
+if [ $? -eq 0 ]; then
+  exit 0
+fi
+echo "Try again"
+make

-- 
To stop receiving notification emails like this one, please contact
address@hidden.