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%" == "" ( |
ahe
2013/09/20 08:20:23
I'm not sure how this works. I have a suspicion th
ricow1
2013/09/20 08:24:51
Done.
|
+ set EXTRA_VM_OPTIONS=%EXTRA_VM_OPTIONS% %DART_VM_OPTIONS% |
+) |
+ |
if exist "%SNAPSHOT%" ( |
"%DART%" %EXTRA_VM_OPTIONS% "%SNAPSHOT%" %EXTRA_OPTIONS% %* |
) else ( |