17/05/2013 11:05, Olivier MATZ : > I wonder if this new rule is really needed: I think you can already > do a "make config" without argument to list the supported > configurations.
Yes it is needed because "make config" adds an error comment. But I could refactor this patch to use "make showconfigs" in "make config". -- Thomas
