aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
blob: 96becc7f5e5fb0bdac2479bc6dbd0ca643806064 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#!/bin/sh
set -e -x
WORKSPACE_DIR="$(realpath "$(dirname "$0")/..")"

# Clone repository to ~/, or update existing
# $1: name of osmocom project
clone_repo() {
	local project="$1"
	local url="https://gerrit.osmocom.org/$project"

	if [ -d ~/"$project" ]; then
		cd ~/"$project"
		git remote set-url origin "$url"
	else
		cd ~
		git clone "$url"
		cd "$project"
	fi

	git rev-parse HEAD
	git status

	git fetch && git checkout -f -B master origin/master

	git rev-parse HEAD
	git status

	cd "$WORKSPACE_DIR"
}

clone_repo osmo-ci
clone_repo osmo-gsm-manuals

if [ `uname` = "Linux" ] && [ "x${OSMO_CI_NO_DOCKER}" != "x1" ]; then
	scripts/osmo-ci-docker-rebuild.sh
fi