| Peter Kolbus | e4e2d3a | 2018-12-24 09:04:54 -0600 | [diff] [blame^] | 1 | #!/bin/bash -eu |
| 2 | |||||
| 3 | # make-in-docker.sh | ||||
| 4 | # | ||||
| 5 | # This file is part of mbed TLS (https://tls.mbed.org) | ||||
| 6 | # | ||||
| 7 | # Copyright (c) 2019, ARM Limited, All Rights Reserved | ||||
| 8 | # | ||||
| 9 | # Purpose | ||||
| 10 | # ------- | ||||
| 11 | # This runs make in a Docker container. | ||||
| 12 | # | ||||
| 13 | # See also: | ||||
| 14 | # - scripts/docker_env.sh for general Docker prerequisites and other information. | ||||
| 15 | |||||
| 16 | source tests/scripts/docker_env.sh | ||||
| 17 | |||||
| 18 | run_in_docker make $@ | ||||