From a047a692c6518b542911c7553c0e6689be5b204e Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Thu, 4 Jun 2020 20:16:34 +0200
Subject: Jenkins: select "release" build

... instead of developer build which pulls in additional packages bloating the
ISO image.
---
 Jenkinsfile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 6f4190ee..3de61f78 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -113,8 +113,14 @@ pipeline {
                     def commitId = sh(returnStdout: true, script: 'git rev-parse --short=11 HEAD').trim()
                     currentBuild.description = sprintf('Git SHA1: %s', commitId[-11..-1])
 
-                    sh './configure --build-by autobuild@vyos.net --debian-mirror http://ftp.us.debian.org/debian/'
-                    sh 'sudo make iso'
+                    sh """
+                        ./configure \
+                            --build-by autobuild@vyos.net \
+                            --debian-mirror http://ftp.us.debian.org/debian/ \
+                            --build-type release \
+                            --version 1.2-crux-$(date +%Y%m%d%H%M)
+                        sudo make iso
+                    """
                 }
             }
         }
-- 
cgit v1.2.3