diff options
| author | Arjen Hiemstra <ahiemstra@heimr.nl> | 2017-03-15 19:23:54 +0300 |
|---|---|---|
| committer | Arjen Hiemstra <ahiemstra@heimr.nl> | 2017-03-15 19:23:54 +0300 |
| commit | 04e517eddfcbfe680f94f73d05ed23b7ecdc809e (patch) | |
| tree | ca4b95ba3d51f2fa9a47d602faeade35d0cdb9ee /Jenkinsfile | |
| parent | 1dbec7073809b218c93d08a449707879705a7c6c (diff) | |
Do not hardcode the path to Uranium but use a cache variable
This allows us to override the uranium dir and make sure it is still
found even when it is not the same as "../uranium"
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions