blob: e57d09d342fff79a271d0f61265fcd4f42bac1e1 [file] [log] [blame]
Peter Kolbuse4e2d3a2018-12-24 09:04:54 -06001#!/bin/bash -eu
2
3# make-in-docker.sh
4#
Peter Kolbuse4e2d3a2018-12-24 09:04:54 -06005# 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.
Manuel Pégourié-Gonnard59626b62022-12-15 10:08:26 +010011#
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.
Peter Kolbuse4e2d3a2018-12-24 09:04:54 -060015
Bence Szépkúti1e148272020-08-07 13:07:28 +020016# Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000017# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Peter Kolbus4225b1a2019-05-31 06:38:06 -050018
Peter Kolbuse4e2d3a2018-12-24 09:04:54 -060019source tests/scripts/docker_env.sh
20
21run_in_docker make $@