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

Jump to bottom

Documentation suggestions #575

Closed

veripoolbot opened this issue Nov 3, 2012 · 1 comment

Labels

area: documentation resolution: fixed

Contributor

veripoolbot commented Nov 3, 2012

Author Name: R. Diez
Original Redmine Issue: 575 from https://www.veripool.org
Original Date: 2012-11-03

Documentation suggestions:

Mention GCC's LTO.
Mention fflush alternative to --autoflush, which is rather slow.
Mention -CFLAGS and -LDFLAGS next to OPT, OPT_FAST, or OPT_SLOW.

Please see attached patch. Exact wording doesn't matter.

Shouldn't the documentation recommend -O3 instead of -O2? Or if not,
just say something along the line of "-O3 is not usually worth it".

Contributor Author

veripoolbot commented Nov 3, 2012

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2012-11-03T23:34:56Z

Committed (approximately), thanks for the patch.

veripoolbot closed this as completed

veripoolbot added area: documentation resolution: fixed labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment