[Guile-commits] 12/14: Add CI jobs for ARM in both instruction sets

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 2a4ed4b77648fc6cc640c1b6bd9a4019cd6a1974
Author: Icecream95 <ixn@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"