Index: sdk/bin/pub_developer.bat |
diff --git a/sdk/bin/pub_developer.bat b/sdk/bin/pub_developer.bat |
index 9c77b790c8cf2b4cad8767c5b027e151ee48b472..40257090d28a0bfda7e28bb3f5fa067bf4c9a520 100644 |
--- a/sdk/bin/pub_developer.bat |
+++ b/sdk/bin/pub_developer.bat |
@@ -23,11 +23,17 @@ set SNAPSHOT=%BIN_DIR%\snapshots\pub.dart.snapshot |
set BUILD_DIR=%SDK_DIR%\..\build\ReleaseIA32 |
set PACKAGES_DIR=%BUILD_DIR%\packages |
set DART_IN_BUILT_SDK=%BUILD_DIR%\dart-sdk\bin\dart |
+set VM_OPTIONS=--checked |
+ |
+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 |
if exist "%SNAPSHOT%" ( |
- "%DART%" --checked "%SNAPSHOT%" %* |
+ "%DART%" %VM_OPTIONS% "%SNAPSHOT%" %* |
) else ( |
- "%DART_IN_BUILT_SDK%" --checked --package-root="%PACKAGES_DIR%" "%PUB%" %* |
+ "%DART_IN_BUILT_SDK%" %VM_OPTIONS% --package-root="%PACKAGES_DIR%" "%PUB%" %* |
) |
endlocal |
@@ -46,4 +52,4 @@ if not "%current%"=="" call :follow_links "%current%", result |
endlocal & set %~2=%result% |
goto :eof |
-:end |
+:end |