From c9042588f061fba456e10514ab9453e6f452d7dc Mon Sep 17 00:00:00 2001 From: Artem Smirnov Date: Mon, 25 Jun 2018 13:28:44 +0300 Subject: [PATCH] image_builder: enable shrinker by default --- image_builder/build.Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/image_builder/build.Jenkinsfile b/image_builder/build.Jenkinsfile index 1caffb7e..bf4d6797 100644 --- a/image_builder/build.Jenkinsfile +++ b/image_builder/build.Jenkinsfile @@ -14,7 +14,7 @@ pipeline { string(name: 'GWBT_URL', defaultValue: 'https://github.com/CopterExpress/clever.git') // Experimental function - booleanParam(name: 'SHRINK', defaultValue: false, description: 'SHRINK IMAGE') + booleanParam(name: 'SHRINK', defaultValue: true, description: 'SHRINK IMAGE') booleanParam(name: 'DISCOVER_ROS_PACKAGES', defaultValue: false, description: 'DISCOVER ROS PACKAGES') } environment {