make-in-docker.sh 874 B

1234567891011121314151617181920212223242526272829
  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. # Copyright The Mbed TLS Contributors
  11. # SPDX-License-Identifier: Apache-2.0
  12. #
  13. # Licensed under the Apache License, Version 2.0 (the "License"); you may
  14. # not use this file except in compliance with the License.
  15. # You may obtain a copy of the License at
  16. #
  17. # http://www.apache.org/licenses/LICENSE-2.0
  18. #
  19. # Unless required by applicable law or agreed to in writing, software
  20. # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
  21. # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  22. # See the License for the specific language governing permissions and
  23. # limitations under the License.
  24. source tests/scripts/docker_env.sh
  25. run_in_docker make $@