| Index: dart/tools/create_sdk.py
|
| diff --git a/dart/tools/create_sdk.py b/dart/tools/create_sdk.py
|
| index 0543b647c23d4695fac9eccd0484d1714ad51284..0fb0d3da4d1be7462079db7ca84accb2aa8f933a 100755
|
| --- a/dart/tools/create_sdk.py
|
| +++ b/dart/tools/create_sdk.py
|
| @@ -131,6 +131,20 @@ def CopyDart2Js(build_dir, sdk_root, version):
|
| ReplaceInFiles([dartdoc],
|
| [(r'\$BIN_DIR/\.\./\.\.', r'$BIN_DIR/..')])
|
|
|
| + # TODO(ahe): Enable for Windows as well.
|
| + subprocess.call([os.path.join(build_dir, 'gen_snapshot'),
|
| +
|
| + # TODO(ahe): Remove option when
|
| + # http://dartbug.com/5989 is fixed.
|
| + '--optimization_counter_threshold=-1',
|
| +
|
| + '--script_snapshot=%s' %
|
| + os.path.join(sdk_root, 'pkg', 'compiler',
|
| + 'implementation', 'dart2js.dart.snapshot'),
|
| + os.path.join(sdk_root, 'pkg', 'compiler',
|
| + 'implementation', 'dart2js.dart')])
|
| +
|
| +
|
|
|
| def Main(argv):
|
| # Pull in all of the gpyi files which will be munged into the sdk.
|
|
|