diff --git a/run_desktop_tests.sh b/run_desktop_tests.sh
index b8e889620ec90eafaef5916faf291efbf2327f19..6e5a27dc0a95aa39e43e09ac4921b2486c606887 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)..."