Changeset e66ef08

Timestamp:

Jul 11, 2016, 1:26:46 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

1e94036a

Parents:

c617272

Message:

Jenkinsfile now uses proper choice properties

File:

• Jenkinsfile (modified) (2 diffs)

Jenkinsfile

@@ -179 +179 @@
                                                   name: 'promoteBuild2DoLang'                                   \
                                                 ],                                                              \
-                                                [$class: 'StringParameterDefinition',                           \
-                                                  defaultValue: '64bit',                                        \
+                                                [$class: 'ChoiceParameterDefinition',                           \
+                                                  choices: ['64-bit', '32-bit'],                                \
                                                   description: 'The architecture to use for compilation',       \
                                                   name: 'buildArchitecture'                                     \
@@ -191 +191 @@
                                 echo "FULL BUILD = ${doPromoteBuild2DoLang}"
                                 
-                                architectureFlag = buildArchitecture == '64bit' ? '-m64' : (buildArchitecture == '32bit' ? '-m32' : 'ERROR')
+                                architectureFlag = buildArchitecture == '64-bit' ? '-m64' : (buildArchitecture == '32-bit' ? '-m32' : 'ERROR')
                                 echo "Architecture = ${buildArchitecture} (flag ${architectureFlag})"
                                 echo