Changeset 01b8088d

Timestamp:

Jun 3, 2016, 1:14: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:

86f641b

Parents:

aec9a67

Message:

now using git clean/reset to clean repo before build instead of simply removing everything

File:

• Jenkinsfile (modified) (2 diffs)

Jenkinsfile

@@ -8 +8 @@
                 def install_dir = pwd tmp: true
                 //checkout the source code and clean the repo
-                sh "rm -rf * ${install_dir}/*"
                 checkout scm
+                sh 'git clean -fdqx'
+                sh 'git reset --hard'
 
         build_stage 'Build'
@@ -31 +32 @@
         build_stage 'Cleanup'
 
-                //Cleanup the install dir
-                sh "rm -rf ${install_dir}/*"
+                //No clean step needed for now
 }