summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index e054cf1a..0aad5fcb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -121,6 +121,10 @@ pipeline {
--version 1.2-crux-\$(date +%Y%m%d%H%M)
sudo make iso
"""
+
+ if (fileExists('build/live-image-amd64.hybrid.iso') == false) {
+ error('ISO build error')
+ }
}
}
}