diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-09-21 10:29:51 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2018-09-21 14:59:14 +0200 |
commit | a99a4ef541af13f93eae4eeb0852f97537886c24 (patch) | |
tree | 2c41cc0e80c29686b2e12dd6e380846f3d525f87 /coverity/get_token.sh | |
parent | 85c2effd89f2fc83be3a1a7e178c73908976e167 (diff) |
osmo-depcheck: don't use /tmp, better git codeosmith/dependency-check
* replace --gitdir with --workdir and give it a new folder structure:
* git/$repo: downloaded source code
* build/$repo: files created during the build process
* install/: installation prefix
* adjust the jenkins job to use --workdir
* fetch --tags when source exists already
* readable error message for failed git checkout
Change-Id: I06589277b9d54a2af177451cfab2ca1a658b4058
Relates: OS#2642
Diffstat (limited to 'coverity/get_token.sh')
0 files changed, 0 insertions, 0 deletions