Changeset 22f94a4 for Jenkinsfile_disabled

Timestamp:

Aug 11, 2020, 4:40:15 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

0d070ca

Parents:

07d867b (diff), 129674b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into new-ast

File:

• Jenkinsfile_disabled (modified) (1 diff)

Jenkinsfile_disabled

@@ -114 +114 @@
         release = Settings.RunAllTests || Settings.RunBenchmark
         build_stage('Build : configure', true) {
+                // Configure must be run inside the tree
+                dir (SrcDir) {
+                        // Generate the necessary build files
+                        sh './autogen.sh'
+                }
+
                 // Build outside of the src tree to ease cleaning
                 dir (BuildDir) {