diff --git a/Jenkinsfile b/Jenkinsfile
index c1af2af48b..705b457746 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -48,7 +48,7 @@ try {
         dir("mbed-os") {
           checkout scm
           sh "mbed deploy --protocol ssh"
-          sh "mbed compile -m ${target} -t ${toolchain} -c"
+          sh "mbed compile --tests -m ${target} -t ${toolchain} -c"
         }
       }
     }