> What do you think about putting this elsewhere? "gdb --configuration" > or some such, perhaps? Yes, please. I'd rather we have a separate option for displaying this piece of information. -- Joel