diff options
| author |   Victor Morales <victor.morales@intel.com> | 2017-11-07 14:13:07 -0800 |
|---|---|---|
| committer | Victor Morales <victor.morales@intel.com> | 2017-11-07 14:13:07 -0800 |
| commit | 071b81cf985c482bb0a38ca1c96491feefd1ec13 (patch) | |
| tree | 11072bd3672e99577902e1cf76d2dd80d0637e73 /bootstrap/jenkins | |
| parent | 9174eadc3cadf827669fc0999304b0221ff2349c (diff) | |
Integrate install_dev_tools into install_docker
The packages installed by the install_dev_tools are only required by
the docker installation, therefore is not necessary to install them
in other cases. According to the Docker official documentation the
linux-image-extra-* packages are required.
Change-Id: I96c5f556c9e5a74d52e012d7896786061299036e
Signed-off-by: Victor Morales <victor.morales@intel.com>
Issue-Id: INT-328
Diffstat (limited to 'bootstrap/jenkins')
0 files changed, 0 insertions, 0 deletions