contrib/jenkins-make-check-and-run.sh

#!/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
./contrib/jenkins-build-manuals.sh
cd "$base"

PATH="$base/osmo-gsm-tester/src:$PATH" \
  "$run_script"