diff options
| author | Marco Marinello <marinello@libreoffice.org> | 2020-02-20 10:45:14 +0100 |
|---|---|---|
| committer | Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de> | 2020-02-20 14:07:30 +0100 |
| commit | fdba30ea4d8d1070e2a1ad8c2fc0d5c44e011dfb (patch) | |
| tree | 6f254ee51ba63ba63725d389ec55bbbe27590547 /docker/l10n-docker-nightly.sh | |
| parent | 7810825e6b2265dc88819cd8fbe4d4f3f4e9891f (diff) | |
Add more flags to docker compilation
Signed-off-by: Marco Marinello <marinello@libreoffice.org>
Change-Id: Ib5a49613ed36eec0d8ab8178b13e302cd5d8da4e
Reviewed-on: https://gerrit.libreoffice.org/c/online/+/89080
Tested-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
Reviewed-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
Diffstat (limited to 'docker/l10n-docker-nightly.sh')
| -rwxr-xr-x | docker/l10n-docker-nightly.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docker/l10n-docker-nightly.sh b/docker/l10n-docker-nightly.sh index 4bb588823..598282e94 100755 --- a/docker/l10n-docker-nightly.sh +++ b/docker/l10n-docker-nightly.sh @@ -13,6 +13,7 @@ # * LIBREOFFICE_BUILD_TARGET - which make target to run (in core repo) # * ONLINE_EXTRA_BUILD_OPTIONS - extra build options for online # * NO_DOCKER_IMAGE - if set, don't build the docker image itself, just do all the preps +# * NO_DOCKER_PUSH - don't push to docker hub # check we can sudo without asking a pwd echo "Trying if sudo works without a password" @@ -101,6 +102,9 @@ if [ -z "$NO_DOCKER_IMAGE" ]; then cd "$SRCDIR" docker build --no-cache -t $DOCKER_HUB_REPO:$DOCKER_HUB_TAG . || exit 1 docker push $DOCKER_HUB_REPO:$DOCKER_HUB_TAG || exit 1 + if [ -z "$NO_DOCKER_PUSH" ]; then + docker push $DOCKER_HUB_REPO:$DOCKER_HUB_TAG || exit 1 + fi; else echo "Skipping docker image build" fi; |