Add //y2020:download_stripped to CI
Explicitly test that we can build the y2020 code in jenkins.
Change-Id: I7d683f6362e96cc756a2183a0791d255805d73fd
diff --git a/tools/ci/run-tests.sh b/tools/ci/run-tests.sh
index ef4cff8..005e7dd 100755
--- a/tools/ci/run-tests.sh
+++ b/tools/ci/run-tests.sh
@@ -7,6 +7,9 @@
readonly TARGETS='//... @com_github_google_glog//... @com_google_ceres_solver//...'
readonly M4F_TARGETS='//...'
+# Sanity check that we are able to build the y2020 roborio code, which confirms
+# that we have the platform compatibility for the roborio set up correctly.
+readonly ROBORIO_TARGETS="${TARGETS} //y2020:download_stripped"
readonly COMMON='-c opt --stamp=no --curses=no --color=no --symlink_prefix=/'
# Put everything in different output bases so we can get 5 bazel servers
@@ -23,7 +26,7 @@
tools/bazel --output_base=../roborio_output_base build \
${COMMON} \
--config=roborio \
- ${TARGETS}
+ ${ROBORIO_TARGETS}
tools/bazel --output_base=../armhf-debian_output_base build \
${COMMON} \