From 68ec75593632d9271924d63e0d899fff009c225d Mon Sep 17 00:00:00 2001
From: Guillaume Endignoux <guillaumee@google.com>
Date: Thu, 5 Mar 2020 11:34:45 +0100
Subject: [PATCH] Add tests that supported boards build properly.

---
 run_desktop_tests.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/run_desktop_tests.sh b/run_desktop_tests.sh
index b8e8896..6e5a27d 100755
--- a/run_desktop_tests.sh
+++ b/run_desktop_tests.sh
@@ -40,6 +40,16 @@ cargo check --release --target=thumbv7em-none-eabi --examples
 echo "Checking that CTAP2 builds and links properly (1 set of features)..."
 cargo build --release --target=thumbv7em-none-eabi --features with_ctap1
 
+echo "Checking that supported boards build properly..."
+cd third_party/tock/boards
+cd nordic/nrf52840dk
+make
+cd ../..
+cd nordic/nrf52840_dongle
+make
+cd ../..
+cd ../../..
+
 if [ -z "${TRAVIS_OS_NAME}" -o "${TRAVIS_OS_NAME}" = "linux" ]
 then
   echo "Running unit tests on the desktop (release mode)..."
-- 
GitLab