Changeset c3d3c22

Timestamp:

Dec 3, 2020, 8:49:59 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

d29a394

Parents:

f78ead5

Message:

Changed distribute to target specific commit

File:

• Jenkins/Distribute (modified) (4 diffs)

Jenkins/Distribute

@@ -26 +26 @@
                 wrap([$class: 'TimestamperBuildWrapper']) {
 
-                        build_id = prepare_build()
+                        gitref = prepare_build()
 
                         node('x64') {
@@ -34 +34 @@
                                 Tools.clean()
 
-                                // checkout()
+                                Tools.checkout(gitref)
                         }
 
@@ -103 +103 @@
                         parameterDefinitions: [                                                                         \
                                 [$class: 'StringParameterDefinition',                                           \
-                                        description: 'The build to put in the version',                         \
-                                        name: 'Build',                                                                  \
+                                        description: 'The git commit to checkout',                              \
+                                        name: 'GitRef',                                                                 \
                                         defaultValue: '',                                                               \
                                 ],                                                                                              \
@@ -117 +117 @@
         Tools = load "Jenkins/tools.groovy"
 
-        currentBuild.description = "Distributing Binaries"
+        currentBuild.description = "Distributing Tarball"
+        def ref = params.GitRef ? params.GitRef : "HEAD"
+        echo "Distributing git commit ${ref}"
 
-        if (!params.Build) {
-                params.Build = Jenkins.instance.getItem('Cforall Full Build').lastSuccessfulBuild.number
-        }
-
-        echo "Distributing build ${params.Build}"
-
-        return params.Build
+        return params.GitRef
 }