make-in-docker.sh 1.1 KB

123456789101112131415161718192021222324252627282930313233
  1. #!/bin/bash -eu
  2. # make-in-docker.sh
  3. #
  4. # Purpose
  5. # -------
  6. # This runs make in a Docker container.
  7. #
  8. # See also:
  9. # - scripts/docker_env.sh for general Docker prerequisites and other information.
  10. #
  11. # WARNING: the Dockerfile used by this script is no longer maintained! See
  12. # https://github.com/Mbed-TLS/mbedtls-test/blob/master/README.md#quick-start
  13. # for the set of Docker images we use on the CI.
  14. # Copyright The Mbed TLS Contributors
  15. # SPDX-License-Identifier: Apache-2.0
  16. #
  17. # Licensed under the Apache License, Version 2.0 (the "License"); you may
  18. # not use this file except in compliance with the License.
  19. # You may obtain a copy of the License at
  20. #
  21. # http://www.apache.org/licenses/LICENSE-2.0
  22. #
  23. # Unless required by applicable law or agreed to in writing, software
  24. # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
  25. # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  26. # See the License for the specific language governing permissions and
  27. # limitations under the License.
  28. source tests/scripts/docker_env.sh
  29. run_in_docker make $@