From 2a03e6c8ee5e07683cd65d1d42d1d816ee9e78c0 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Fri, 26 Jun 2020 18:34:28 +0200
Subject: Jenkins: throw error on ISO build failure

---
 Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Jenkinsfile')

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')
+                    }
                 }
             }
         }
-- 
cgit v1.2.3