Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@pwnall
Copy link
Member

@pwnall pwnall commented Nov 15, 2018

This adds some CI coverage for shared library builds, and includes some cosmetic cleanups.

@pwnall
Copy link
Member Author

pwnall commented Nov 15, 2018

@cmumford PTAL?

@cmumford
Copy link
Contributor

Do you want a configuration with GLOG=1 SHARED_LIB=1, or was that intentionally omitted?

@pwnall
Copy link
Member Author

pwnall commented Nov 15, 2018

Intentionally omitted. I am adding coverage because customers are using shared libraries, and this only happens with our recommended flags GLOG=0.

@cmumford cmumford merged commit 75e82b8 into master Nov 15, 2018
@pwnall
Copy link
Member Author

pwnall commented Nov 15, 2018

@cmumford Thank you very much for the quick review!

@pwnall pwnall deleted the shared_ci branch November 15, 2018 23:51
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