Changeset 7c0ef42

Timestamp:

May 8, 2017, 11:06:28 AM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

620dd2b

Parents:

f04288f

Message:

Jenkins changed the name of some internal directories, now we have to guess them again

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -97 +97 @@
         //parse git logs to find what changed
         gitRefName = env.BRANCH_NAME
-        dir("../${gitRefName}@script") {
-                sh "git reflog > ${out_dir}/GIT_COMMIT"
-        }
+        // dir("../${gitRefName}@script") {
+        sh "git reflog > ${out_dir}/GIT_COMMIT"
+        // }
         git_reflog = readFile("${out_dir}/GIT_COMMIT")
         gitRefOldValue = (git_reflog =~ /moving from (.+) to (.+)/)[0][1]