>>>>> "Paul" == Paul Jenner <[EMAIL PROTECTED]> writes:

Paul> Would it be better to disable plugin with a warning but allow build to
Paul> continue instead of throwing an error here?

I think this patch is reasonable... but I'd prefer one where we only
error out if the user explicitly wrote --enable-plugin.  This means
moving a bit of logic around (some of the CREATE_PLUGIN code).
Could you do this?

Tom

Reply via email to