Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make emitting the Names section optional #700

Closed
kripken opened this issue Sep 19, 2016 · 1 comment
Closed

Make emitting the Names section optional #700

kripken opened this issue Sep 19, 2016 · 1 comment

Comments

@kripken
Copy link
Member

kripken commented Sep 19, 2016

Currently we always emit names. This should probably be optional, and probably default to off, with wasm-as emitting names only when -g is provided.

We'd also need to tell emcc.py to pass -g when it should be (debug_level > 0 or profiling).
@kripken kripken mentioned this issue Sep 22, 2016
Merged
@kripken
Copy link
Member Author

kripken commented Sep 27, 2016

Implemented and merged. emcc.py parts are in binaryen-opts branch.

@kripken kripken closed this as completed Sep 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kripken