conf: remove v12 - use newer version if v12

clement-brodu · Feb 6, 2023 · 99fdb64 · 99fdb64
1 parent 328a2c1
commit 99fdb64
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/JenkinsfileSpe b/JenkinsfileSpe
@@ -27,7 +27,6 @@ pipeline {
           }
           if (propsPCT['dlc10'] != '') antCmd += "-DDLC10=${propsPCT['dlc10']} "
           if (propsPCT['dlc11'] != '') antCmd += "-DDLC11=${propsPCT['dlc11']} "
-          if (propsPCT['dlc12'] != '') antCmd += "-DDLC12=${propsPCT['dlc12']} "
 
           bat 'git rev-parse HEAD > head-rev'
           def commit = readFile('head-rev').trim()
@@ -53,8 +52,6 @@ pipeline {
           if (propsPCT['dlc10'] != '') testBranch(propsPCT['dlc10'], 'OpenEdge-10.2B', true, '10.2B-Win')
 
           if (propsPCT['dlc11'] != '') testBranch(propsPCT['dlc11'], 'OpenEdge-11.7', true, '11.7-Win')
-
-          if (propsPCT['dlc12'] != '') testBranch(propsPCT['dlc12'], 'OpenEdge-12', true, '12-Win')
         }
       }
     }