Re: [rfc] Print MI fullname even for non-existing files

Tom Tromey
2012-12-17T18:41:59Z

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

Jan> +set f [open ${objdir}/${subdir}/${srcfile} "w"]

>> standard_output_file, here and elsewhere.

Jan> It cannot be, as it is ${objdir}, not ${srcdir}, as the source file
Jan> needs to be modified (=deleted).

standard_output_file makes a file name in objdir.

Tom