https://sourceware.org/bugzilla/show_bug.cgi?id=20135 --- Comment #3 from Chenxiong Qi <cqi at redhat dot com> --- What about the new option's name? --devel --with-devel --compare-with-devel or others? -- You are receiving this mail because: You are on the CC list for the bug.