Changeset 01b8088d


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

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    raec9a67 r01b8088d  
    88                def install_dir = pwd tmp: true
    99                //checkout the source code and clean the repo
    10                 sh "rm -rf * ${install_dir}/*"
    1110                checkout scm
     11                sh 'git clean -fdqx'
     12                sh 'git reset --hard'
    1213
    1314        build_stage 'Build'
     
    3132        build_stage 'Cleanup'
    3233
    33                 //Cleanup the install dir
    34                 sh "rm -rf ${install_dir}/*"
     34                //No clean step needed for now
    3535}
    3636
Note: See TracChangeset for help on using the changeset viewer.