diff options
author | 2017-11-07 14:13:07 -0800 | |
---|---|---|
committer | 2017-11-07 14:13:07 -0800 | |
commit | 071b81cf985c482bb0a38ca1c96491feefd1ec13 (patch) | |
tree | 11072bd3672e99577902e1cf76d2dd80d0637e73 /version-manifest/src/main/resources | |
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 'version-manifest/src/main/resources')
0 files changed, 0 insertions, 0 deletions