diff options
author | Gilles Peskine <Gilles.Peskine@arm.com> | 2020-04-25 22:30:31 +0200 |
---|---|---|
committer | Gilles Peskine <Gilles.Peskine@arm.com> | 2020-04-26 00:16:34 +0200 |
commit | f2f39ddd89728c996a06b4fd282ec3aa6d3e813e (patch) | |
tree | f842dcae8bec44af7d41236669c659e801212f08 | |
parent | 5dcfb947d133eda40f06bcde71f275668d5d3bb3 (diff) | |
download | mbed-tls-f2f39ddd89728c996a06b4fd282ec3aa6d3e813e.tar.gz |
Travis: add a baremetal build
Add a baremetal build to Travis, to catch inadvertent dependencies on
platform functions.
The exact choice of target platform doesn't matter for this purpose.
Pick one that's present in all.sh, that uses a compiler that's
available in the Travis build environment (Ubuntu 16.04), and that
happens to be close to the Debian "armel" distribution.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 39933b58b..056990925 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,6 +12,8 @@ jobs: - gnutls-bin - doxygen - graphviz + - gcc-arm-none-eabi + - libnewlib-arm-none-eabi language: python # Needed to get pip for Python 3 python: 3.5 # version from Ubuntu 16.04 install: @@ -19,6 +21,7 @@ jobs: script: - tests/scripts/all.sh -k 'check_*' - tests/scripts/all.sh -k test_default_out_of_box + - tests/scripts/all.sh -k build_arm_none_eabi_gcc_arm5vte - name: full configuration script: |