commit 0d57fc8ca83f0f198a04d83df6ad7000c68bb618
author Brian Silverman <brians> Sun Jan 24 21:02:53 2016 -0500
committer Brian Silverman <brians> Tue Jan 26 10:46:42 2016 -0800
tree a8b242a079f6ae79b128706a4386fa2eb4e01737
parent f4520e29da835cce014c75e8724e7b55d313c14a

Add support for building code for Debian armhf

I think this will work with the Ubuntu-based distribution on the TK1
too.

Change-Id: I62350d2f7a8914fb13c421be427388c6e46c5481

debian/BUILD

diff --git a/debian/BUILD b/debian/BUILD
index 29c47d7..d3aef1d 100644
--- a/debian/BUILD
+++ b/debian/BUILD
@@ -7,5 +7,6 @@
   deps = cpu_select({
     "roborio": ['@arm-frc-linux-gnueabi-repo//:' + libname],
     "amd64": ['@usr_repo//:' + libname],
+    "armhf": ['@linaro_linux_gcc_4.9_repo//:' + libname],
   }),
 ) for libname in ['libpthread', 'libm', 'libdl', 'librt']]