> > I use /dev/null, which will never be a directory. > > Is this worth mentioning in the manual? It would have been helpful for me, so I vote for yes :-) It would be even nicer to have a way to 'turn off' sysroot for this case. Something like "unset sysroot". I'm not sure if "unset" is something that GDB supports. Marc