commit 8b638693dde4e8ce888d8be92b3816dd32c833d9
author Brian Silverman <bsilver16384@gmail.com> Mon Jun 26 23:10:26 2017 -0700
committer Brian Silverman <bsilver16384@gmail.com> Tue Sep 19 23:16:36 2017 -0400
tree e39e2d0172e57a6b44b711b6f335156a03915c81
parent b79af7c8000c8e983cf91c8b937001ab01124d26

Get some basic Teensy code working

It prints some stuff over the USB serial port and turns the on-board LED
on. Also tweak some of the existing code so it works with better
compiler options for what we're doing.

Change-Id: Ifcbd36f9eaca47a86f7a97e8c458c64f9b3df3ab

tools/BUILD

diff --git a/tools/BUILD b/tools/BUILD
index 8926d08..b8a4f1e 100644
--- a/tools/BUILD
+++ b/tools/BUILD
@@ -20,6 +20,10 @@
   values = {'cpu': 'roborio'},
 )
 config_setting(
+  name = 'cpu_cortex_m4f',
+  values = {'cpu': 'cortex-m4f'},
+)
+config_setting(
   name = 'cpu_armhf',
   values = {'cpu': 'armhf-debian'},
 )