| Tom Rini | 0344c60 | 2024-10-08 13:56:50 -0600 | [diff] [blame^] | 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 | |
| 19 | source tests/scripts/docker_env.sh |
| 20 | |
| 21 | run_in_docker make $@ |