Changeset e50db109

Timestamp:

Jun 20, 2016, 12:43:34 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

3151e3b

Parents:

cb64fd6

Message:

Jenkinsfile now uses git plugin directly since 'checkout scm' seems broken

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -9 +9 @@
                 def install_dir = pwd tmp: true
                 //checkout the source code and clean the repo
-                checkout scm
+                checkout([$class: 'GitSCM', branches: [[name: "*/${env.BRANCH_NAME}"]], userRemoteConfigs: [[url: 'cforall@plg.uwaterloo.ca:software/cfa/cfa-cc']]])
 
                 //Clean all temporary files to make sure no artifacts of the previous build remain