jenkins: Follow the convention and create a jenkins.sh as well

Instead of modifying the job on Jenkins, let's do it like in our
other projects. Create the diretcory if it doesn't exist and use
git pull origin for the Debian9 system.

Change-Id: I0ecdc02e3271fe09980f370167277370c599fcfa
This commit is contained in:
Holger Hans Peter Freyther 2017-08-25 18:31:44 +08:00 committed by Neels Hofmeyr
parent adc35d0e69
commit 9e6db799d5
1 changed files with 12 additions and 0 deletions

12
contrib/jenkins.sh Executable file
View File

@ -0,0 +1,12 @@
#!/bin/sh
set -e
cd ~/osmo-ci || (cd ~/ && git clone git://git.osmocom.org/osmo-ci && cd osmo-ci)
git rev-parse HEAD
git status
git fetch && git checkout -f -B master origin/master
git rev-parse HEAD
git status