From 7790a63463c004212aa9413b2bc456c7443ae2ff Mon Sep 17 00:00:00 2001
From: Sanjeev435 <Sanjeev435@users.noreply.github.com>
Date: Sun, 6 Jan 2019 14:15:17 +0530
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b59eccac1..6b56f812d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,4 @@
-print( properties ([ properties ([) properties ([
+print( properties ([
         parameters([
                 string(name: 'BRANCH', defaultValue: 'master', description: 'Branch to build'),
 	        choice(name: 'RUN_TEST', choices: ['yes', 'no'], description: 'Run test while build'),