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.

Sign up for GitHub

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

Add command line option --polly={yes|no} #18159

Merged
merged 1 commit into from
Aug 22, 2016
Merged

Add command line option --polly={yes|no} #18159

merged 1 commit into from
Aug 22, 2016

Commits on Aug 22, 2016

  1. Add command line option --polly={yes|no} 

    Passing `--polly=no` will cause `@polly` declarations to be ignored.
This facilitates debugging or evaluating performance differences between
using/not using Polly without having to manually remove `@polly`
declarations from functions.
    @MatthiasJReisinger
    MatthiasJReisinger committed Aug 22, 2016
    Configuration menu
    Copy the full SHA
    2116a6c View commit details
    Browse the repository at this point in the history