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

Jan Kratochvil
2010-07-22T11:31:52Z

On Fri, 09 Jul 2010 19:31:04 +0200, Tom Tromey wrote:
> --- /dev/null
> +++ b/gdb/gdb-add-index
[...]
> +dir="${file%/*}"
> +
> +# We don't care if gdb gives an error.
> +gdb --batch-silent -ex "file $file" -ex "save gdb-index $d" > /dev/null 2>&1
^^
$d -> $dir

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

Thanks,
Jan