| #!/bin/bash -eu |
| |
| # make-in-docker.sh |
| # |
| # Purpose |
| # ------- |
| # This runs make in a Docker container. |
| # |
| # See also: |
| # - scripts/docker_env.sh for general Docker prerequisites and other information. |
| |
| # Copyright (C) 2006-2019, Arm Limited (or its affiliates), All Rights Reserved. |
| # SPDX-License-Identifier: Apache-2.0 |
| # |
| # Licensed under the Apache License, Version 2.0 (the "License"); you may |
| # not use this file except in compliance with the License. |
| # You may obtain a copy of the License at |
| # |
| # http://www.apache.org/licenses/LICENSE-2.0 |
| # |
| # Unless required by applicable law or agreed to in writing, software |
| # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| # See the License for the specific language governing permissions and |
| # limitations under the License. |
| # |
| # This file is part of Mbed TLS (https://tls.mbed.org) |
| |
| source tests/scripts/docker_env.sh |
| |
| run_in_docker make $@ |