Merge commit '66ff69dafcb1bdaa7925a966ee1ede05e4f68778' as 'third_party/google-glog'
Change-Id: I6b90bc4d3457fa69bed66c17e68e160490a645f9
diff --git a/tools/ci/run-tests.sh b/tools/ci/run-tests.sh
index bcb4c2a..51bf12e 100755
--- a/tools/ci/run-tests.sh
+++ b/tools/ci/run-tests.sh
@@ -2,7 +2,9 @@
set -e
set -x
-bazel test -c opt --curses=no --color=no //...
-bazel build -c opt --curses=no --color=no //... --cpu=roborio
+TARGETS='//... @com_github_google_glog//...'
+
+bazel test -c opt --curses=no --color=no ${TARGETS}
+bazel build -c opt --curses=no --color=no ${TARGETS} --cpu=roborio
+bazel build --curses=no --color=no ${TARGETS} --cpu=armhf-debian
bazel build -c opt --curses=no --color=no //motors/... --cpu=cortex-m4f
-bazel build --curses=no --color=no //... --cpu=armhf-debian