diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2018-08-24 17:19:24 +0200 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2018-08-24 17:26:18 +0200 |
| commit | 8e55abc784276aaa3dacd30b69a4729a0a439436 (patch) | |
| tree | 0a001e89a078fdd9eb5c60a5b01445a65aed3ec4 /.gitmodules | |
| parent | 7e825a17e1e31eb4010f0c646314263f26164dab (diff) | |
[build.sh] Enable push, minor fixes
* default to enable pushing to public docker registry;
* fix prerequisites path;
* fix unknown terminal in Jenkins jobs;
JIRA: FUEL-383
Change-Id: Ie27dfbca6965c218475060da390a82921799b044
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions