add a script for jenkins to run

a49d7284 · Richard van der Hoff · 15cb4ec0 · a49d7284 · a49d7284
Commit a49d7284 authored 8 years ago by Richard van der Hoff
--- a/jenkins.sh
+++ b/jenkins.sh
+#!/bin/sh
+
+set -e
+
+make clean
+make lib
+make test
+
+./python/test_olm.sh
--- a/python/test_olm.sh
+++ b/python/test_olm.sh
 #! /bin/bash

+cd `dirname $0`
+
 OLM="python -m olm"

 ALICE_ACCOUNT=alice.account