diff --git a/Jenkinsfile_RamdiskImages b/Jenkinsfile_RamdiskImages
index 832392b..5a72c48 100644
--- a/Jenkinsfile_RamdiskImages
+++ b/Jenkinsfile_RamdiskImages
@@ -40,6 +40,7 @@ pipeline {
       steps {
         script {
           if("${params.MACHINE}" == "select...") {
+            currentBuild.result = 'ABORTED'
             error("Missing machine type --> select parameter MACHINE for a proper build")
           }
 
diff --git a/Jenkinsfile_mmcImages b/Jenkinsfile_mmcImages
index a97ab3e..5f0a056 100644
--- a/Jenkinsfile_mmcImages
+++ b/Jenkinsfile_mmcImages
@@ -40,6 +40,7 @@ pipeline {
       steps {
         script {
           if("${params.MACHINE}" == "select...") {
+            currentBuild.result = 'ABORTED'
             error("Missing machine type --> select parameter MACHINE for a proper build")
           }
 
diff --git a/Jenkinsfile_sdk b/Jenkinsfile_sdk
index 5ad2862..612c8f8 100644
--- a/Jenkinsfile_sdk
+++ b/Jenkinsfile_sdk
@@ -41,6 +41,7 @@ pipeline {
       steps {
         script {
           if("${params.MACHINE}" == "select...") {
+            currentBuild.result = 'ABORTED'
             error("Missing machine type --> select parameter MACHINE for a proper build")
           }