diff --git a/Jenkinsfile b/Jenkinsfile index 31219d4c1bd8735522967a71c5339af56e9a5867..ff9327f60336db410e483a7da6cd2ae655533090 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -44,7 +44,7 @@ def cancelPreviousBuilds() { // build.doKill() //doTerm(),doKill(),doTerm() // } // } -// //abort previous build + //abort previous build // abortPreviousBuilds() // def abort_previous(){ // def buildNumber = env.BUILD_NUMBER as int