Index: sdk/bin/pub_sdk.bat |
diff --git a/sdk/bin/pub_sdk.bat b/sdk/bin/pub_sdk.bat |
index 2c4977e595a90d530b452de3d0d784d00a5fe3a5..0f0024d7f84bc7ba26d0be2edfc95d5426ca11b7 100644 |
--- a/sdk/bin/pub_sdk.bat |
+++ b/sdk/bin/pub_sdk.bat |
@@ -19,10 +19,10 @@ IF %SDK_DIR:~-1%==\ set SDK_DIR=%SDK_DIR:~0,-1% |
set VM_OPTIONS= |
-rem Give the VM extra memory for dart2js. |
-rem # TODO(rnystrom): Remove when #8355 is fixed. |
-rem See comments regarding options below in dart2js shell script. |
-set VM_OPTIONS=%VM_OPTIONS% --old_gen_heap_size=1024 |
+rem We allow extra vm options to be passed in through an environment variable. |
+if not "_%DART_VM_OPTIONS%_" == "__" ( |
+ set VM_OPTIONS=%VM_OPTIONS% %DART_VM_OPTIONS% |
+) |
"%BIN_DIR%\dart" %VM_OPTIONS% "%BIN_DIR%\snapshots\pub.dart.snapshot" %* |