Index: runtime/tools/create_snapshot_bin.py |
diff --git a/runtime/tools/create_snapshot_bin.py b/runtime/tools/create_snapshot_bin.py |
index b91de38e86353a40e7e1ed131e3840161aeda87b..344c4e342bae1bbd9002d011410ab0791241e962 100755 |
--- a/runtime/tools/create_snapshot_bin.py |
+++ b/runtime/tools/create_snapshot_bin.py |
@@ -32,6 +32,13 @@ def BuildOptions(): |
action="store", type="string", |
help="output file name into which isolate snapshot in binary form " + |
"is generated") |
+ result.add_option("--instructions_bin", |
+ action="store", type="string", |
+ help="output file name into which instructions snapshot in assembly " + |
+ "form is generated") |
+ result.add_option("--embedder_entry_points_manifest", |
+ action="store", type="string", |
+ help="input manifest with the vm entry points in a precompiled snapshot") |
result.add_option("--script", |
action="store", type="string", |
help="Dart script for which snapshot is to be generated") |
@@ -108,6 +115,16 @@ def Main(): |
options.vm_output_bin ])) |
script_args.append(''.join([ "--isolate_snapshot=", options.output_bin ])) |
+ # Setup the instuctions snapshot output filename |
+ if options.instructions_bin: |
+ script_args.append(''.join([ "--instructions_snapshot=", |
+ options.instructions_bin ])) |
+ |
+ # Specify the embedder entry points snapshot |
+ if options.embedder_entry_points_manifest: |
+ script_args.append(''.join([ "--embedder_entry_points_manifest=", |
+ options.embedder_entry_points_manifest ])) |
+ |
# Next setup all url mapping options specified. |
for url_arg in options.url_mapping: |
url_mapping_argument = ''.join(["--url_mapping=", url_arg ]) |