diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2020-01-08 14:22:08 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2020-01-15 10:24:38 +0100 |
| commit | b79e06367bf72646c5114d60766ee61f1b9631bb (patch) | |
| tree | d07a72c508dbe683faa766fcecb08e79214095b4 /scripts | |
| parent | d0418d0f92b2cf73932c068f50bb55f90b78137b (diff) | |
docker: move to docker-playground.git
Instead of building "osmocom:deb9_amd64" from this repository, build
"$USER/debian-stretch-jenkins" from docker-playground.git (same
Dockerfile). Adjust all jobs to use the new image name.
Add a new "update-osmo-ci-on-slaves-dp" jenkins job, which triggers
the existing "update-osmo-ci-on-slaves" job whenever
docker-playground.git changes.
Replace docker/rebuild_osmocom_jenkins_image.sh with
scripts/osmo-ci-docker-rebuild.sh, so we can get rid of the docker dir.
I thought about dropping the script completely, and directly writing the
two lines into contrib/jenkins.sh. But I kept the extra script for
convenience, when testing locally.
Related: OS#4345
Depends: docker-playground I125ae8a6bcabbd1f485028c79b0abacda0622c3a
Change-Id: I30a61aebcadef5536e74edd35e1c75ef77a2da9f
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/osmo-ci-docker-rebuild.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/osmo-ci-docker-rebuild.sh b/scripts/osmo-ci-docker-rebuild.sh new file mode 100755 index 0000000..4a7ee25 --- /dev/null +++ b/scripts/osmo-ci-docker-rebuild.sh @@ -0,0 +1,5 @@ +#!/bin/sh +cd "$(dirname "$0")/.." +. scripts/common.sh +docker_images_require \ + "debian-stretch-jenkins" |