Re: [0/4] RFC: add DWARF index support

Tom Tromey
2010-07-22T15:54:43Z

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> $d -> $dir

Thanks.

Jan> Also I would prefer removing the /dev/null redirection, normally
Jan> GDB does not produce any message anyway. Suppressing messages by
Jan> the caller is always easier than unsuppressing them.

Sounds good.

Tom