diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2018-09-21 10:29:51 +0200 |
|---|---|---|
| committer | osmith <osmith@sysmocom.de> | 2018-09-25 09:59:05 +0000 |
| commit | 6cced05c01d640f7f667e6e7238ba3f5e8c512b0 (patch) | |
| tree | 71c406890d8b6a7c560bb6358bc39b26a167df08 /jobs | |
| parent | 8768ad510a1ccb45c8b71a7a7c2daa3d4c4cb957 (diff) | |
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
Diffstat (limited to 'jobs')
| -rw-r--r-- | jobs/osmocom-depcheck.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jobs/osmocom-depcheck.yml b/jobs/osmocom-depcheck.yml index f13d4b7..fd2432e 100644 --- a/jobs/osmocom-depcheck.yml +++ b/jobs/osmocom-depcheck.yml @@ -52,13 +52,13 @@ # Build the arguments args="$PROJECTS" args="$args -j 5" - args="$args -g $PWD/DEPCHECK_GITDIR" + args="$args -w $PWD/DEPCHECK_WORKDIR" args="$args -u $GIT_URL_PREFIX" [ "$BUILD" = "true" ] && args="$args -b" [ "$PRINT_OLD_DEPENDS" = "true" ] && args="$args -o" # Run osmo-depcheck - mkdir DEPCHECK_GITDIR + mkdir DEPCHECK_WORKDIR export PYTHONUNBUFFERED=1 scripts/osmo-depcheck/osmo-depcheck.py $args scm: |