Fixed sdk/bin/dart2js.bat to enable SDK_DIRs with spaces in them

Review URL: https://codereview.chromium.org//13811040

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@21354 260f80e4-7a28-3924-810f-c04153c831b5
This commit is contained in:
kustermann@google.com 2013-04-12 12:09:38 +00:00
parent 067b9ff8d5
commit d3a932f6f7

View file

@ -14,7 +14,10 @@ for %%i in ("%RETURNED_BIN_DIR%") do set BIN_DIR=%%~fi
rem Get absolute full name for SDK_DIR.
for %%i in ("%BIN_DIR%\..\") do set SDK_DIR=%%~fi
set DART2JS=%SDK_DIR%lib\_internal\compiler\implementation\dart2js.dart
rem Remove trailing backslash if there is one
IF %SDK_DIR:~-1%==\ set SDK_DIR=%SDK_DIR:~0,-1%
set DART2JS=%SDK_DIR%\lib\_internal\compiler\implementation\dart2js.dart
set DART=%BIN_DIR%\dart
set SNAPSHOT=%BIN_DIR%\snapshots\utils_wrapper.dart.snapshot
@ -27,7 +30,7 @@ if _%DART2JS_DEVELOPER_MODE%_ == _1_ (
if exist "%SNAPSHOT%" (
echo Using snapshot "%SNAPSHOT%" >&2
set EXTRA_OPTIONS=%EXTRA_OPTIONS% --library-root=%SDK_DIR%
set EXTRA_OPTIONS=%EXTRA_OPTIONS% "--library-root=%SDK_DIR%"
)
rem See comments regarding options below in dart2js shell script.