diff options
author | mrichomme <morgan.richomme@orange.com> | 2020-06-18 10:59:47 +0200 |
---|---|---|
committer | mrichomme <morgan.richomme@orange.com> | 2020-06-18 10:59:47 +0200 |
commit | 495a167d6cf34b40fed9a43b1676f03cbdd47e14 (patch) | |
tree | 119b0e612426d4bc0dbbb3cb72ffb75fa1944b59 /jjb/include-docker-push.sh | |
parent | ecff4e78844c5fa695d8a98d27f6dc9ae196edfe (diff) |
Fix build path
The repo includes several build dir, precise the right one
for each build
Issue-ID: INT-1366
Signed-off-by: mrichomme <morgan.richomme@orange.com>
Change-Id: I88e53b45bc794ab2c79e336d7b64ae83c3edba57
Diffstat (limited to 'jjb/include-docker-push.sh')
0 files changed, 0 insertions, 0 deletions