diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2014-09-04 11:15:20 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2014-09-04 11:15:20 +0300 |
commit | b19abe84bb6a5fb9f6ab5c53acfeb95ab32891ef (patch) | |
tree | 0faa0f182d757c40986884831e768cf85c5c0e81 /jenkins-run | |
parent | 1019a6672e1e5ff877b2ac221bb4c65f5aacdca8 (diff) |
use snapshots from lava
Diffstat (limited to 'jenkins-run')
-rwxr-xr-x | jenkins-run | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins-run b/jenkins-run index 0b6a1d4..a9a2b6b 100755 --- a/jenkins-run +++ b/jenkins-run @@ -7,6 +7,7 @@ sudo rm -rf build binary . ./gcov-ci/configs/${hwpack}.template time git clone --depth 1 ${git_url} --branch ${git_branch} build +cp ./gcov-ci/BUILD-INFO.txt . cp -a gcov-ci build/ cd build |