Skip to content
This repository has been archived by the owner on Feb 22, 2018. It is now read-only.

add a way to configure summary extension #606

Closed
jmesserly opened this issue Jul 22, 2016 · 2 comments
Closed

add a way to configure summary extension #606

jmesserly opened this issue Jul 22, 2016 · 2 comments
Assignees
@jmesserly
Labels
P1 high

Comments

@jmesserly
Copy link
Contributor

e.g. --summary-extension=.api.ds

CC @stereotype441
@jmesserly jmesserly self-assigned this Jul 22, 2016
@jmesserly
Copy link
Contributor Author

and maybe we should also change the default to .api.ds :)

(although confusingly, I think DDC currently emits the full summary?)

@jmesserly
Copy link
Contributor Author

https://codereview.chromium.org/2176763002/ ... first CL that adds the option. We can change the default in a follow up.

stereotype441 added a commit to dart-lang/sdk that referenced this issue Jul 25, 2016
@stereotype441
Roll dev_compiler to version 108f2a2a03b1926e640013f3244df625b42ec380.
f02a7aa 
This brings in the fix for
dart-archive/dev_compiler#606, which allows the
extension for summaries to be specified using the "--summary-extension"
option.

R=jmesserly@google.com

Review URL: https://codereview.chromium.org/2180633002 .
@jmesserly jmesserly mentioned this issue Jul 27, 2016
Closed
@jmesserly jmesserly mentioned this issue Sep 13, 2016
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jmesserly jmesserly

Labels
P1 high
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jmesserly