On 24-05-2020 16:24, Simon Marchi wrote:
> On 2020-05-12 8:43 a.m., Tom de Vries wrote:
>> @@ -94,8 +96,10 @@ proc compile_and_download_n_jit_so {jit_solib_basename jit_solib_srcfile count}
>>  	    additional_flags=-DFUNCTION_NAME=[format "jit_function_%04d" $i] \
>>  	    additional_flags=-Xlinker \
>>  	    additional_flags=-Ttext-segment=$addr]
>> -	if { [gdb_compile_shlib ${jit_solib_srcfile} ${binfile} $options] != "" } {
>> -	    untested "failed to compile ${jit_solib_basename}.c as a shared library"
>> +	if { [gdb_compile_shlib ${jit_solib_srcfile} ${binfile} \
>> +		  $options] != "" } {
>> +	    set f [file tail $binfile]
>> +	    untested "failed to compile shared library $binfile"
>>  	    return -1
> 
> I just noticed, should it be `$f` instead of `$binfile` here?

Yes, thanks for noticing.

Fixed in attached patch, committed.

Thanks,
- Tom