Changeset 805c167


Ignore:
Timestamp:
May 8, 2017, 11:01:05 AM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
f04288f
Parents:
982ed5b
Message:

Updated jenkinsfile following jenkins update

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r982ed5b r805c167  
    8888//Helper routine to collect information about the git history
    8989def collect_git_info() {
     90
     91        checkout scm
    9092
    9193        //create the temporary output directory in case it doesn't already exist
Note: See TracChangeset for help on using the changeset viewer.