tree 11072bd3672e99577902e1cf76d2dd80d0637e73
parent 9174eadc3cadf827669fc0999304b0221ff2349c
author Victor Morales <victor.morales@intel.com> 1510092787 -0800
committer Victor Morales <victor.morales@intel.com> 1510092787 -0800

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