Changeset eda8175

Timestamp:

Aug 17, 2018, 4:51:06 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:

72a5a75

Parents:

7cbd7ce

Message:

Debug info no longer needed

Files:

• Jenkinsfile (modified) (1 diff)
• tools/PrettyGitLogs.sh (modified) (1 diff)

Jenkinsfile

@@ -183 +183 @@
         sh "${SrcDir}/tools/PrettyGitLogs.sh ${BuildDir} ${Settings.GitOldRef} ${Settings.GitNewRef}"
 
-        def gitUpdate = readFile("${BuildDir}/GIT_TYPE").trim()
-        def gitLog    = readFile("${BuildDir}/GIT_LOG").trim()
-        def gitDiff   = readFile("${BuildDir}/GIT_DIFF").trim()
+        def gitUpdate = readFile("${BuildDir}/GIT_UPDATE")
+        def gitLog    = readFile("${BuildDir}/GIT_LOG")
+        def gitDiff   = readFile("${BuildDir}/GIT_DIFF")
 
         return """

tools/PrettyGitLogs.sh

@@ -8 +8 @@
 
 rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
-
-echo "Printing git information into: "
-echo "    ${GIT_UPDATE}"
-echo "    ${GIT_LOG}"
-echo "    ${GIT_DIFF}"
 
 GitOldRef=$2