commit e6a59ef8156b02de57a1575e6998afb1bd9c0261
author Brian Silverman <bsilver16384@gmail.com> Thu Oct 01 15:13:09 2020 -0700
committer Brian Silverman <bsilver16384@gmail.com> Thu Oct 01 17:08:59 2020 -0700
tree 34d9c7a0eded15e5781f6c571db650ef7fc30bf1
parent 40b5ad550d4b1ccc3a59aa711e68f417c4fc681d

Fix the name of cpu=aarch64

arm64 is the .deb architecture for it, not the bazel CPU name I see
used.

Change-Id: I46dbbc2478aae92b2a9dba0b8b11a8f54481ef9a

tools/BUILD

diff --git a/tools/BUILD b/tools/BUILD
index d77abf8..9bf2931 100644
--- a/tools/BUILD
+++ b/tools/BUILD
@@ -49,8 +49,8 @@
 )
 
 config_setting(
-    name = "cpu_arm64",
-    values = {"cpu": "arm64"},
+    name = "cpu_aarch64",
+    values = {"cpu": "aarch64"},
 )
 
 config_setting(
@@ -80,14 +80,14 @@
 
 environment(name = "cortex-m4f-k22")
 
-environment(name = "arm64")
+environment(name = "aarch64")
 
 environment_group(
     name = "cpus",
     defaults = [
         ":k8",
         ":roborio",
-        ":arm64",
+        ":aarch64",
         ":armhf-debian",
     ],
     environments = [
@@ -97,6 +97,6 @@
         ":armhf-debian",
         ":cortex-m4f",
         ":cortex-m4f-k22",
-        ":arm64",
+        ":aarch64",
     ],
 )