>>>>> "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