Changes in Jenkinsfile [c09ae73:7f66cec]

File:

• Jenkinsfile (modified) (2 diffs)

Jenkinsfile

@@ -102 +102 @@
 
                 echo GitLogMessage()
+
+                // This is a complete hack but it solves problems with automake thinking it needs to regenerate makefiles
+                // We fudged automake/missing to handle that but automake stills bakes prints inside the makefiles
+                // and these cause more problems.
+                sh 'find . -name Makefile.in -exec touch {} +'
         }
 }
@@ -460 +465 @@
                                         description: 'Which compiler to use',                                   \
                                         name: 'Compiler',                                                                       \
-                                        choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',   \
+                                        choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',                                   \
                                         defaultValue: 'gcc-8',                                                          \
                                 ],                                                                                              \