pinctrl: mediatek: build failure if CONFIG_IRQ_DOMAIN is not set

From: Linus Walleij <hidden>
Date: 2016-10-29 08:36:05
Also in: linux-gpio, linux-mediatek, lkml

On Fri, Oct 28, 2016 at 7:20 PM, Paul Bolle [off-list ref] wrote:

3) Would you like me to submit a proper (but lightly tested) patch or
do you prefer to fix this yourself?

Please send a tested patch, I'll apply it.

Thanks for finding this!

Yours,
Linus Walleij