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

Jan Kratochvil
2010-08-09T20:25:18Z

On Fri, 06 Aug 2010 19:39:51 +0200, Tom Tromey wrote:
> -gdb --batch-silent -ex "file $file" -ex "save gdb-index $dir"
> +gdb --batch-silent -ex "file $file" -ex "save gdb-index $dir" || {

-nx is missing here, breaking index generation for example in ... src/gdb/.

Thanks,
Jan