add jenkins-make-check-and-run.sh

Change-Id: I493142bb4cd6c0465e34b4171461d28455315ef4
2017-09-14 00:00:14 +02:00 · 2017-09-14 00:00:14 +02:00 · c28769488e
parent 32cab3f5c7
commit c28769488e
1 changed files with 14 additions and 0 deletions
--- a/contrib/jenkins-make-check-and-run.sh
+++ b/contrib/jenkins-make-check-and-run.sh
@ -0,0 +1,14 @@
+#!/bin/sh
+set -e -x
+base="$PWD"
+
+run_script="osmo-gsm-tester/contrib/jenkins-run.sh"
+test -x "$run_script"
+
+cd osmo-gsm-tester
+make deps
+make check
+cd "$base"
+
+PATH="$base/osmo-gsm-tester/src:$PATH" \
+  "$run_script"