From e7c3fc6a34d0522f68d716c3a50126503b43b03d Mon Sep 17 00:00:00 2001
From: Sebastian Wilzbach <seb@wilzba.ch>
Date: Tue, 14 Aug 2018 14:00:49 +0200
Subject: [PATCH] Run coverage testing with 32 and 64-bit

---
 buildkite.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/buildkite.sh b/buildkite.sh
index f3a60b05..d05898ea 100755
--- a/buildkite.sh
+++ b/buildkite.sh
@@ -70,19 +70,26 @@ cat << EOF
         echo "--- Running style testing"
         make -f posix.mak style
     label: "Style"
+EOF
+
+for model in 32 64 ; do
 
+cat << EOF
   - command: |
         ${LOAD_DISTRIBUTION}
         . ./buildkite/load_distribution.sh
         echo "--- Merging with the upstream target branch"
         ./buildkite/merge_head.sh
         echo "--- Running coverage testing"
-        ./buildkite/test_coverage.sh
-    label: "Coverage"
+        MODEL=$model ./buildkite/test_coverage.sh
+    label: "Coverage ($model)"
     retry:
       automatic:
         limit: 2
 EOF
+
+done
+
         ;;
     *)
         ;;