diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2014-09-04 14:04:02 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2014-09-04 14:04:02 +0300 |
commit | c7e3132c524a2ac07bb66ce8b2183d344e6c024f (patch) | |
tree | 3a37b5aacc647829ffa2282b1e082f02fb65a251 /jenkins-run | |
parent | b19abe84bb6a5fb9f6ab5c53acfeb95ab32891ef (diff) |
remove build-info.txt again
Diffstat (limited to 'jenkins-run')
-rwxr-xr-x | jenkins-run | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/jenkins-run b/jenkins-run index a9a2b6b..0b6a1d4 100755 --- a/jenkins-run +++ b/jenkins-run @@ -7,7 +7,6 @@ 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 |