mirror of
https://github.com/dart-lang/sdk
synced 2024-09-06 00:59:09 +00:00
Fix issue 9844 by adressing additional review comments
Comments by Peter here should fix it: https://codereview.chromium.org/13812019/ Review URL: https://codereview.chromium.org//14222009 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@21331 260f80e4-7a28-3924-810f-c04153c831b5
This commit is contained in:
parent
1259710312
commit
4acabf09fd
|
@ -27,7 +27,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.
|
||||
|
|
Loading…
Reference in a new issue