diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2020-05-17 00:32:22 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2020-05-17 00:32:22 +0100 |
| commit | 7ff9a3f3a00e870091ce107230a524d08b9bf7f3 (patch) | |
| tree | cd56beb70de9e5921c6c3d6e0acba97b52a2fc19 /.gitlab-ci | |
| parent | 8070bac06c73836f914c0013ce9ccd8b99b1e42e (diff) | |
| download | gtk+-7ff9a3f3a00e870091ce107230a524d08b9bf7f3.tar.gz | |
ci: Allow using "latest" as the image version
Just like the documentation says.
Diffstat (limited to '.gitlab-ci')
| -rwxr-xr-x | .gitlab-ci/run-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci/run-docker.sh b/.gitlab-ci/run-docker.sh index 02e5e64dc2..a992f9f60a 100755 --- a/.gitlab-ci/run-docker.sh +++ b/.gitlab-ci/run-docker.sh @@ -81,7 +81,7 @@ fi if [ -z $base_version ]; then base_version="latest" -else +elif [ $base_version != "latest" ]; then base_version="v$base_version" fi |