commit 7a7c24d2eea4ab63f2a3e582283c7ad532f76a16
author Brian Silverman <bsilver16384@gmail.com> Sat Sep 01 17:49:09 2018 -0700
committer Brian Silverman <bsilver16384@gmail.com> Sat Sep 01 17:53:07 2018 -0700
tree d6cec3bf35ca195edbd94d242a7f0b6e00a7e65b
parent 50b9ac0b0e86043de8199d8f594686d33a47acdc

Use the downloaded clang when building for armhf-debian

This makes it work on a barebones Stretch installation.

Also add building for this CPU to the CI script so we know it keeps
working, which means marking everything that's supposed to work
appropriately.

Change-Id: Ic050ce20eae45c6b23e0e42dddb24db3ebc70b84

aos/common/util/BUILD

diff --git a/aos/common/util/BUILD b/aos/common/util/BUILD
index 8fcd2fe..0f2ca73 100644
--- a/aos/common/util/BUILD
+++ b/aos/common/util/BUILD
@@ -90,6 +90,9 @@
     hdrs = [
         "string_to_num.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
@@ -172,6 +175,9 @@
     hdrs = [
         "options.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
@@ -190,6 +196,9 @@
     hdrs = [
         "compiler_memory_barrier.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(