osmith submitted this change.

Approvals:
  osmith: Looks good to me, approved
  dexter: Looks good to me, but someone else must approve
  Jenkins Builder: Verified
  pespin: Looks good to me, but someone else must approve

contrib/jenkins.sh: new script

Add a CI script for https://jenkins.osmocom.org.

Change-Id: If486aba5e455b2635714b91ccdc03b5153ee73d8
---
A contrib/jenkins.sh
1 file changed, 7 insertions(+), 0 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 0000000..cb67e3c
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,7 @@
+#!/bin/sh -ex
+
+# Build and run tests
+./gradlew build
+
+# Build "aram/build/javacard/applet.cap"
+./gradlew buildJavaCard

To view, visit change 39582. To unsubscribe, or for help writing mail filters, visit settings.