wingo pushed a commit to branch master in repository guile. commit 2a4ed4b77648fc6cc640c1b6bd9a4019cd6a1974 Author: Icecream95 <i...@keemail.me> AuthorDate: Thu Apr 9 22:34:21 2020 +1200
Add CI jobs for ARM in both instruction sets --- .gitlab-ci.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ff2bf03..0360cf0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -30,4 +30,9 @@ aarch64: armhf: stage: test script: - - make -C tests test-armv7 CC_ARMv7=arm-linux-gnueabihf-gcc + - make -C tests test-armv7 CC_ARMv7="arm-linux-gnueabihf-gcc -marm" + +armhf-thumb: + stage: test + script: + - make -C tests test-armv7 CC_ARMv7="arm-linux-gnueabihf-gcc -mthumb"