[Chilli] chilli issues

[Wichert Akkerman]

On 6/3/10 12:16 , David Bird wrote:
> The changes to cmdline.c will get lost when cmdline.ggo is updated.

Hm, I indeed missed the warning indicating that that file is generated. 
Can you think of another way to accomplish the same thing? The goal is 
to report this to the user when parsing the configfile and not have to 
duplicate that check at every point where the filename is generated.

Wichert.