commit 0913421ffd4ab078bc2f9472c73f1e5bbf9525c4
author Raphael Moll <ralf@android.com> Sat Aug 21 18:03:49 2010 -0700
committer Raphael Moll <ralf@android.com> Mon Aug 23 13:37:40 2010 -0700
tree a84d9b59bce797fe75a785903a580676148761c6
parent 0ddce47c639201891296b449676baa2705bbfd72

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

Change-Id: Id62b59e75e92fe14376353211dd59d89f4ee63c6

files/post_tools_install.bat

diff --git a/files/post_tools_install.bat b/files/post_tools_install.bat
index 94928c6..36e3279 100644
--- a/files/post_tools_install.bat
+++ b/files/post_tools_install.bat
@@ -30,9 +30,15 @@
 rem issues with directories containing whitespaces.

 cd /d %~dp0

 

-set src=SDK Setup.exe

+set src=SDK Manager.exe

 set dst=..\..\%src%

 

-if not exist "%src%" goto :EOF

+if not exist "%src%" goto Cleanup

   echo Updating %src%

-  copy /V /Y "%src%" "%dst%"
\ No newline at end of file
+  copy /V /Y "%src%" "%dst%"

+

+:Cleanup

+set old_dst=..\..\SDK Setup.exe

+if not exist "%old_dst%" goto :EOF

+  echo Removing obsolete %old_dst%

+  del /F /Q "%old_dst%"