From 128803f7e9bf6247fe22812e0f48a1d622433e09 Mon Sep 17 00:00:00 2001 From: Victor Morales Date: Tue, 7 Nov 2017 14:13:07 -0800 Subject: [PATCH] Updated git submodules Project: integration master 071b81cf985c482bb0a38ca1c96491feefd1ec13 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 Issue-Id: INT-328 --- docs/submodules/integration.git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git index 9174eadc3..071b81cf9 160000 --- a/docs/submodules/integration.git +++ b/docs/submodules/integration.git @@ -1 +1 @@ -Subproject commit 9174eadc3cadf827669fc0999304b0221ff2349c +Subproject commit 071b81cf985c482bb0a38ca1c96491feefd1ec13 -- 2.16.6