1#!/bin/bash -eu 2 3# make-in-docker.sh 4# 5# Purpose 6# ------- 7# This runs make in a Docker container. 8# 9# See also: 10# - scripts/docker_env.sh for general Docker prerequisites and other information. 11# 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. 15 16# Copyright The Mbed TLS Contributors 17# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later 18 19source tests/scripts/docker_env.sh 20 21run_in_docker make $@ 22