Lines Matching +full:check +full:- +full:ci +full:- +full:script
1 #!/bin/bash -eu
6 # -------
8 # This is a helper script to enable running tests under a Docker container,
12 # WARNING: the Dockerfile used by this script is no longer maintained! See
13 # https://github.com/Mbed-TLS/mbedtls-test/blob/master/README.md#quick-start
14 # for the set of Docker images we use on the CI.
17 # ---------------
18 # This script expects a Linux x86_64 system with a recent version of Docker
20 # server must be used, invoke this script with the usual environment variables
26 # Running this script directly will check for Docker availability and set up
30 # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
37 DOCKER_IMAGE_TAG="armmbed/mbedtls-test:${MBEDTLS_DOCKER_GUEST}"
55 NUM_PROC="$(sysctl -n hw.logicalcpu)"
63 -t ${DOCKER_IMAGE_TAG} \
64 --cache-from=${DOCKER_IMAGE_TAG} \
65 --build-arg MAKEFLAGS_PARALLEL="-j ${NUM_PROC}" \
66 --network host \
67 ${http_proxy+--build-arg http_proxy=${http_proxy}} \
68 ${https_proxy+--build-arg https_proxy=${https_proxy}} \
69 ${MBEDTLS_DOCKER_REGISTRY+--build-arg MY_REGISTRY="${MBEDTLS_DOCKER_REGISTRY}/"} \
75 while [ "$1" == "-e" ]; do
80 ${DOCKER} container run -it --rm \
81 --cap-add SYS_PTRACE \
82 --user "$(id -u):$(id -g)" \
83 --volume $PWD:$PWD \
84 --workdir $PWD \
85 -e MAKEFLAGS \
86 -e PYLINTHOME=/tmp/.pylintd \