On 03/20/2018 09:24 AM, Richard Henderson wrote: > On 03/19/2018 07:58 PM, Bastian Koppelmann wrote: >> if '-w 16' was given as a cmdline args a local copy of insnmask >> is set and not the global one. >> >> Signed-off-by: Peer Adelt <peer.ad...@hni.uni-paderborn.de> >> Signed-off-by: Bastian Koppelmann <kbast...@mail.uni-paderborn.de> > > Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
I've applied this locally. I'll wait until development opens to send a pull for this, given than there are no in-tree users of this script for the release. r~
