Re: [PATCH 1/1] gdb, python: update threads in Inferior.threads ()

Tom Tromey
2012-07-25T16:15:08Z

>>>>> "Markus" == markus t metzger <markus.t.metzger@intel.com> writes:

Markus> -if { [prepare_for_testing ${testfile}.exp ${testfile} ${srcfile}] } {
Markus> +if { [gdb_compile_pthreads ${srcdir}/${subdir}/${srcfile} ${binfile} executable {debug}] != "" } {

prepare_for_testing also calls clean_restart.
I think your change should add this.

Otherwise looks good to me.

Tom