Changeset eda8175


Ignore:
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:
2 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r7cbd7ce reda8175  
    183183        sh "${SrcDir}/tools/PrettyGitLogs.sh ${BuildDir} ${Settings.GitOldRef} ${Settings.GitNewRef}"
    184184
    185         def gitUpdate = readFile("${BuildDir}/GIT_TYPE").trim()
    186         def gitLog    = readFile("${BuildDir}/GIT_LOG").trim()
    187         def gitDiff   = readFile("${BuildDir}/GIT_DIFF").trim()
     185        def gitUpdate = readFile("${BuildDir}/GIT_UPDATE")
     186        def gitLog    = readFile("${BuildDir}/GIT_LOG")
     187        def gitDiff   = readFile("${BuildDir}/GIT_DIFF")
    188188
    189189        return """
  • tools/PrettyGitLogs.sh

    r7cbd7ce reda8175  
    88
    99rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
    10 
    11 echo "Printing git information into: "
    12 echo "    ${GIT_UPDATE}"
    13 echo "    ${GIT_LOG}"
    14 echo "    ${GIT_DIFF}"
    1510
    1611GitOldRef=$2
Note: See TracChangeset for help on using the changeset viewer.