add some flags to make it more friendly to build tools #854

Merged
merged 2 commits into from Oct 15, 2016

Projects

None yet

1 participant

@bobzhang
Contributor
bobzhang commented Oct 14, 2016 edited

TODO: add CHANGELOG

@bobzhang bobzhang changed the title from tweak (+7 squashed commits) Squashed commits: [fb8ca6d] add reason support [d393276] better, add pp, ppx flags soon [88d8675] renaming [788c6cb] clean up [90c9c43] at least works [9ccb13c] wip [2357697] prepare user input to add some flags to make it more friendly to build tools Oct 14, 2016
@bobzhang bobzhang merged commit 86bc4a6 into master Oct 15, 2016

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
@bobzhang bobzhang deleted the ninja_fun branch Oct 15, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment