Build AVD Manager.exe as part of Windows SDK.
Also make sure the sdk manager post install will
update the AVD Manager as required.
Change-Id: I969899adf69f0ed0ddb1ef079451683dd0ce567f
diff --git a/files/post_tools_install.bat b/files/post_tools_install.bat
index 36e3279..287dbc1 100644
--- a/files/post_tools_install.bat
+++ b/files/post_tools_install.bat
@@ -30,9 +30,18 @@
rem issues with directories containing whitespaces.
cd /d %~dp0
+:Step1
set src=SDK Manager.exe
set dst=..\..\%src%
+if not exist "%src%" goto Step2
+ echo Updating %src%
+ copy /V /Y "%src%" "%dst%"
+
+:Step2
+set src=AVD Manager.exe
+set dst=..\..\%src%
+
if not exist "%src%" goto Cleanup
echo Updating %src%
copy /V /Y "%src%" "%dst%"