diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2014-08-29 11:32:56 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2014-08-29 11:32:56 +0300 |
commit | 7e29d4f624256f6f652a9978fe91c95fa0529d9d (patch) | |
tree | 7f06998caf63321474c15bf944c2ad93e93b9eaf /jenkins-run | |
parent | d3420e4de26b83e8468cf0200142381b17e45872 (diff) |
fixup prev commit
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 e2dc853..d07859b 100755 --- a/jenkins-run +++ b/jenkins-run @@ -14,6 +14,5 @@ test -d ${reference_git} || time git clone --mirror git://git.linaro.org/kernel/ time git clone --reference ${reference_git} ${git_url} --branch ${git_branch} build cp -a gcov-ci build/ -cp gcov-ci/BUILD-INFO.txt . cd build bash -x ./gcov-ci/gcov-${hwpack} |