On Saturday 17 June 2017 12:42 AM, Adhemerval Zanella wrote: > This patch below seems to work on gawk 3.1.8. It changes the order or the > elements in tunable_id_t and tunable_list, but as long both order match > I think it should work. I've pushed this for you to fix builds for ARM. Siddhesh