2018-12-24 16:04:54 +01:00
|
|
|
#!/bin/bash -eu
|
|
|
|
|
|
|
|
# make-in-docker.sh
|
|
|
|
#
|
|
|
|
# Purpose
|
|
|
|
# -------
|
|
|
|
# This runs make in a Docker container.
|
|
|
|
#
|
|
|
|
# See also:
|
|
|
|
# - scripts/docker_env.sh for general Docker prerequisites and other information.
|
2022-12-15 10:08:26 +01:00
|
|
|
#
|
|
|
|
# WARNING: the Dockerfile used by this script is no longer maintained! See
|
|
|
|
# https://github.com/Mbed-TLS/mbedtls-test/blob/master/README.md#quick-start
|
|
|
|
# for the set of Docker images we use on the CI.
|
2018-12-24 16:04:54 +01:00
|
|
|
|
2020-08-07 13:07:28 +02:00
|
|
|
# Copyright The Mbed TLS Contributors
|
2023-11-02 20:47:20 +01:00
|
|
|
# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
|
2019-05-31 13:38:06 +02:00
|
|
|
|
2018-12-24 16:04:54 +01:00
|
|
|
source tests/scripts/docker_env.sh
|
|
|
|
|
|
|
|
run_in_docker make $@
|