Add args option

[Valdsonjr]

It seems that -Werror is hardcoded in your plugin. I believe that it would be better if the user could specify this kind of args...

[ranjitjhala]

Indeed, this makes a lot of sense; will try to add this! Thanks!

…

On Wed, Mar 15, 2017 at 7:06 PM, Valdson ***@***.***> wrote: It seems that -Werror is hardcoded in your plugin. I believe that it would be better if the user could specify this kind of args... — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#12>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABkuOBJQg341A_hf8-7EjCyug3ykTAuYks5rl-ltgaJpZM4Md8pk> .