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 ( |