Skip to content

Set emscripten strict mode and remove obsolete option #5809

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.

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

Merged
merged 2 commits into from
Jan 17, 2019

Conversation

axic
Copy link
Member

@axic axic commented Jan 17, 2019

Cleans up #2836.

Pulled from #4441.

@axic axic requested review from chriseth and ekpyron January 17, 2019 15:25
@chriseth
Copy link
Contributor

Looks good but please squash.

@codecov
Copy link

codecov bot commented Jan 17, 2019

Codecov Report

Merging #5809 into develop will increase coverage by 60.01%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff              @@
##           develop    #5809       +/-   ##
============================================
+ Coverage    28.24%   88.25%   +60.01%     
============================================
  Files          347      347               
  Lines        32970    33153      +183     
  Branches      3982     3982               
============================================
+ Hits          9312    29260    +19948     
+ Misses       22966     2535    -20431     
- Partials       692     1358      +666
Flag Coverage Δ
#all 88.25% <ø> (?)
#syntax 28.24% <ø> (ø) ⬆️

@axic
Copy link
Member Author

axic commented Jan 17, 2019

Looks good but please squash.

I've separated them because I don't feel they are linked together and the removal has the hash in the log.

@chriseth chriseth merged commit 6de10cb into develop Jan 17, 2019
@axic axic deleted the emscripten-strict branch January 17, 2019 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants