On Mon, Mar 2, 2015 at 10:35 AM, Emil Velikov <emil.l.velikov at gmail.com> wrote: > Thanks for the review. If you get any ideas wrt patch#6 (stop the > options.h re-generation), I'm all ears. I'll probably have to play with it myself to see what's going on. I've got ~three bugs to fix and then I'll take a look.