From 29044929e2c9d04c53f6a757614ae91889c67442 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Thu, 9 Aug 2018 21:45:31 +0200 Subject: [PATCH] Updated jenkins file --- Jenkinsfile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 12f4a65..4c9dc16 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,15 +13,15 @@ pipeline { } environment { - /* General flags */ + //General flags CXX_FLAGS = '' C_FLAGS = '' - /* CMake specific flags */ + //CMake specific flags CMAKE_OPTIONS = '' CMAKE_MAKE_OPTIONS = '' - /* Make specific flags */ + //Make specific flags MAKE_OPTIONS = '' } @@ -55,15 +55,15 @@ pipeline { } environment { - /* General flags */ + //General flags CXX_FLAGS = '' C_FLAGS = '' - /* CMake specific flags */ + //CMake specific flags CMAKE_OPTIONS = '' CMAKE_MAKE_OPTIONS = '' - /* Make specific flags */ + //Make specific flags MAKE_OPTIONS = '' }