mirror of
https://github.com/polhenarejos/pico-hsm.git
synced 2026-01-17 01:18:06 +00:00
Build image only during build
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
parent
c97680772d
commit
2f177eb8df
2 changed files with 11 additions and 8 deletions
|
|
@ -1,6 +1,7 @@
|
||||||
#!/bin/bash -eu
|
#!/bin/bash -eu
|
||||||
|
|
||||||
source tests/docker_env.sh
|
source tests/docker_env.sh
|
||||||
|
build_image
|
||||||
#run_in_docker rm -rf CMakeFiles
|
#run_in_docker rm -rf CMakeFiles
|
||||||
run_in_docker mkdir -p build_in_docker
|
run_in_docker mkdir -p build_in_docker
|
||||||
run_in_docker -w "$PWD/build_in_docker" cmake -DENABLE_EMULATION=1 ..
|
run_in_docker -w "$PWD/build_in_docker" cmake -DENABLE_EMULATION=1 ..
|
||||||
|
|
|
||||||
|
|
@ -72,14 +72,16 @@ else
|
||||||
NUM_PROC="$(nproc)"
|
NUM_PROC="$(nproc)"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# Build the Docker image
|
build_image() {
|
||||||
echo "Getting docker image up to date (this may take a few minutes)..."
|
# Build the Docker image
|
||||||
${DOCKER} image build \
|
echo "Getting docker image up to date (this may take a few minutes)..."
|
||||||
-t ${DOCKER_IMAGE_TAG} \
|
${DOCKER} image build \
|
||||||
--cache-from=${DOCKER_IMAGE_TAG} \
|
-t ${DOCKER_IMAGE_TAG} \
|
||||||
--network host \
|
--cache-from=${DOCKER_IMAGE_TAG} \
|
||||||
--build-arg MAKEFLAGS_PARALLEL="-j ${NUM_PROC}" \
|
--network host \
|
||||||
tests/docker/${MBEDTLS_DOCKER_GUEST}
|
--build-arg MAKEFLAGS_PARALLEL="-j ${NUM_PROC}" \
|
||||||
|
tests/docker/${MBEDTLS_DOCKER_GUEST}
|
||||||
|
}
|
||||||
|
|
||||||
run_in_docker()
|
run_in_docker()
|
||||||
{
|
{
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue