diff options
| author | Raphael Moll <ralf@android.com> | 2010-08-21 18:03:49 -0700 |
|---|---|---|
| committer | Xavier Ducrohet <xav@android.com> | 2010-08-23 15:12:50 -0700 |
| commit | 859fa3ad3a72dd3cd140785c8b7b4dc166ae8cb8 (patch) | |
| tree | 2ea359c63fd61dcae9db1fe8206c36cd41522b90 /files | |
| parent | 2ec0c5e1cb49b46fe3ab03f3397b1dd354f6c004 (diff) | |
| download | sdk-859fa3ad3a72dd3cd140785c8b7b4dc166ae8cb8.zip sdk-859fa3ad3a72dd3cd140785c8b7b4dc166ae8cb8.tar.gz sdk-859fa3ad3a72dd3cd140785c8b7b4dc166ae8cb8.tar.bz2 | |
SDK: Rename "SDK Setup.exe" to "SDK Manager.exe"
Merged from master to tools_r7
Change-Id: Ib8e702344dd2d593d7f7e6d56b0c3534480ff376
Diffstat (limited to 'files')
| -rw-r--r-- | files/post_tools_install.bat | 12 |
1 files changed, 9 insertions, 3 deletions
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 Change current directory and drive to where the script is, to avoid 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%"
|