commit 439d972895adb45f8648a5b45ea2650e19c94aae
author Junxiao Shi <git@mail1.yoursunny.com> Fri Mar 20 15:08:44 2015 -0700
committer Junxiao Shi <git@mail1.yoursunny.com> Fri Mar 20 15:08:44 2015 -0700
tree 1a5de9524fab467c612918f52deed06bf3ea4fa4
parent f71912475c973b8771e193980305434eb2141715

ci: enable Jenkins

refs #2524

Change-Id: I8474af41dd422f1b6a399047abc603214a82b285

.jenkins.d/20-build.sh

diff --git a/.jenkins.d/20-build.sh b/.jenkins.d/20-build.sh
new file mode 100755
index 0000000..a45f442
--- /dev/null
+++ b/.jenkins.d/20-build.sh
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+set -x
+set -e
+
+# Cleanup
+sudo ./waf -j1 --color=yes distclean
+
+# Configure/build in release mode
+./waf -j1 --color=yes configure
+./waf -j1 --color=yes build
+
+# Cleanup
+sudo ./waf -j1 --color=yes distclean
+
+# Configure/build in debug mode
+./waf -j1 --color=yes configure --debug
+./waf -j1 --color=yes build