Changeset fe27d99

Timestamp:

Nov 7, 2019, 11:30:50 AM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

d056d0d

Parents:

099f5bd

Message:

Forgot to add the new gcc to build options

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -439 +439 @@
                                         description: 'Which compiler to use',                                   \
                                         name: 'Compiler',                                                                       \
-                                        choices: 'gcc-6\ngcc-5\ngcc-4.9\nclang',                                        \
-                                        defaultValue: 'gcc-6',                                                          \
+                                        choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',                                   \
+                                        defaultValue: 'gcc-8',                                                          \
                                 ],                                                                                              \
                                 [$class: 'ChoiceParameterDefinition',                                           \