Changeset 6e31c43

Timestamp:

Aug 17, 2018, 4:47:03 PM (6 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, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

7cbd7ce

Parents:

42ee8f2

Message:

Jenkins now passes target directory as argument

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -181 +181 @@
         if (!Settings || !Settings.GitOldRef || !Settings.GitNewRef) return "\nERROR retrieveing git information!\n"
 
-        dir(BuildDir) {
-                sh "${SrcDir}/tools/PrettyGitLogs.sh ${Settings.GitOldRef} ${Settings.GitNewRef}";
-        }
+        sh "${SrcDir}/tools/PrettyGitLogs.sh ${BuildDir} ${Settings.GitOldRef} ${Settings.GitNewRef}"
+
         def gitUpdate = readFile("${BuildDir}/GIT_TYPE").trim()
         def gitLog    = readFile("${BuildDir}/GIT_LOG").trim()