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.

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

Build cleanup #1498

Merged
merged 3 commits into from
May 9, 2016
Merged

Build cleanup #1498

merged 3 commits into from
May 9, 2016

Conversation

thomasvl
Copy link
Contributor

@thomasvl thomasvl commented May 6, 2016

This should get everything back into a state where make distclean is complete, and make maintainer-clean followed by a git status --ignored shows nothing (but the gmock download) left behind.

- Fixes up `make distclean` and `make maintainer-clean`
- Fixes the build so make is more likely to notice if one of those files is stale/missing.
@haberman
Copy link
Member

haberman commented May 9, 2016

Looks good, thanks!

@haberman haberman merged commit 4c6259b into protocolbuffers:master May 9, 2016
@thomasvl thomasvl deleted the build_cleanup branch May 10, 2016 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants