SDK: Rename "SDK Setup.exe" to "SDK Manager.exe"

[android-x86/sdk.git] / files / post_tools_install.bat

diff --git a/files/post_tools_install.bat b/files/post_tools_install.bat
index 94928c6..36e3279 100644 (file)
--- a/files/post_tools_install.bat
+++ b/files/post_tools_install.bat
@@ -30,9 +30,15 @@ rem Change current directory and drive to where the script is, to avoid
 rem issues with directories containing whitespaces.\r
 cd /d %~dp0\r
 \r
-set src=SDK Setup.exe\r
+set src=SDK Manager.exe\r
 set dst=..\..\%src%\r
 \r
-if not exist "%src%" goto :EOF\r
+if not exist "%src%" goto Cleanup\r
   echo Updating %src%\r
-  copy /V /Y "%src%" "%dst%"
\ No newline at end of file
+  copy /V /Y "%src%" "%dst%"\r
+\r
+:Cleanup\r
+set old_dst=..\..\SDK Setup.exe\r
+if not exist "%old_dst%" goto :EOF\r
+  echo Removing obsolete %old_dst%\r
+  del /F /Q "%old_dst%"\r