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 18# 19# Licensed under the Apache License, Version 2.0 (the "License"); you may 20# not use this file except in compliance with the License. 21# You may obtain a copy of the License at 22# 23# http://www.apache.org/licenses/LICENSE-2.0 24# 25# Unless required by applicable law or agreed to in writing, software 26# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 27# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 28# See the License for the specific language governing permissions and 29# limitations under the License. 30 31source tests/scripts/docker_env.sh 32 33run_in_docker make $@ 34
