Skip to content
Snippets Groups Projects

Base job template to push generated documentation into project specific WIKI repository

Merged Base job template to push generated documentation into project specific WIKI repository
bw_push_docs_to_wiki into develop
Merged Bartek Wrona requested to merge bw_push_docs_to_wiki into develop
Viewing commit c39fbc08
Prev Next
Show latest version
2 files
+ 2
− 2
Compare changes
  • Side-by-side
  • Inline
Files
2
scripts/bash/build_emscripten_image.sh
+ 1
− 1
@@ -11,5 +11,5 @@ export DOCKER_BUILDKIT=1
@@ -11,5 +11,5 @@ export DOCKER_BUILDKIT=1
docker build --target=supplemented_emscripten_builder \
docker build --target=supplemented_emscripten_builder \
--build-arg "EMSCRIPTEN_VERSION=${EMSDK_VERSION}" \
--build-arg "EMSCRIPTEN_VERSION=${EMSDK_VERSION}" \
--tag "${REGISTRY}emsdk:${EMSDK_VERSION}-2" \
--tag "${REGISTRY}emsdk:${EMSDK_VERSION}-3" \
--file "${SRCDIR}/Dockerfile.emscripten" "${SRCDIR}"
--file "${SRCDIR}/Dockerfile.emscripten" "${SRCDIR}"