From 3fca465f1d4785139d519f7f2b4de8ec96feb299 Mon Sep 17 00:00:00 2001 From: bruno DA SILVA Date: Tue, 4 Sep 2018 18:02:12 +0200 Subject: [PATCH] [WIP] jenkinsfile integration --- .../unattended_install/unattended_install.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.jenkins/configuration/default-environment/unattended_install/unattended_install.php b/.jenkins/configuration/default-environment/unattended_install/unattended_install.php index f95cac89e..7f67bee85 100644 --- a/.jenkins/configuration/default-environment/unattended_install/unattended_install.php +++ b/.jenkins/configuration/default-environment/unattended_install/unattended_install.php @@ -1,5 +1,7 @@