tree 2c41cc0e80c29686b2e12dd6e380846f3d525f87
parent 85c2effd89f2fc83be3a1a7e178c73908976e167
author Oliver Smith <osmith@sysmocom.de> 1537518591 +0200
committer Oliver Smith <osmith@sysmocom.de> 1537534754 +0200

osmo-depcheck: don't use /tmp, better git code

* 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