diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-04-09 15:46:57 +0200 |
---|---|---|
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2018-05-02 09:36:57 +0000 |
commit | 18392ee604dfc0cc24a34edfeef904700a10c417 (patch) | |
tree | 4ffb26ea1b36a8d1429b9e3fa5e6e1f79ef286e8 /patchwork/docker-entrypoint.sh | |
parent | aff7d1b4d85e7885f9f7047e66e8b7ce3c6d899b (diff) |
jenkins.sh: stay in the jenkins workspace, not in /tmp
On jenkins, place all logs and manage docker volumes in the workspace instead
of a /tmp/* dir. Use $WORKSPACE/logs as docker volume base to begin with, thus
there needs to be no copy from /tmp to $WORKSPACE/logs.
On non-jenkins runs, place all in a /tmp/* dir still, but also skip copying of
the logs: just have a /tmp/logs symlink to the last tmpdir.
Change-Id: I8cf6014725ae8ba602be5f3ec31dfb8e49ff993e
Diffstat (limited to 'patchwork/docker-entrypoint.sh')
0 files changed, 0 insertions, 0 deletions