diff --git a/Jenkinsfile b/Jenkinsfile
index 699c0e00b2..2fd0e17a5b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -44,7 +44,7 @@ pipeline {
                     sh "make clean"
                     sh "ccache -z"
                     sh "git fetch --tags"
-                    sh "make nuttx_px4io-v2_default"
+                    sh "make px4io-v2_default"
                     sh "make nuttx_px4fmu-v2_default"
                     sh "make nuttx_px4fmu-v2_lpe"
                     sh "make nuttx_px4fmu-v3_default"