From 707ff78dac5da9359386e60330964cefb2013642 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Thu, 4 Jun 2020 20:13:46 +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(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7d9c72fc..50e99de2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -170,8 +170,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.3-rolling-$(date +%Y%m%d%H%M)
+                        sudo make iso
+                    """
                 }
             }
         }
-- 
cgit v1.2.3