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 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions