| Index: sdk/bin/dart2js.bat
|
| ===================================================================
|
| --- sdk/bin/dart2js.bat (revision 27645)
|
| +++ sdk/bin/dart2js.bat (working copy)
|
| @@ -35,6 +35,11 @@
|
| rem See comments regarding options below in dart2js shell script.
|
| set EXTRA_VM_OPTIONS=%EXTRA_VM_OPTIONS% --heap_growth_rate=512
|
|
|
| +rem We allow extra vm options to be passed in through an environment variable.
|
| +if not _%DART_VM_OPTIONS%_ == __ (
|
| + set EXTRA_VM_OPTIONS=%EXTRA_VM_OPTIONS% %DART_VM_OPTIONS%
|
| +)
|
| +
|
| if exist "%SNAPSHOT%" (
|
| "%DART%" %EXTRA_VM_OPTIONS% "%SNAPSHOT%" %EXTRA_OPTIONS% %*
|
| ) else (
|
|
|