Proc have_index is mostly used with $binfile, which gives problems
for remote host.
Fix this by using "file tail" on the proc argument.
Tested on x86_64-linux.
# Otherwise, return "".
proc have_index { objfile } {
+ # This proc is mostly used with $binfile, but that gives problems with
+ # remote host, while using $testfile would work.
+ # Fix this by reducing $binfile to $testfile.
+ set objfile [file tail $objfile]
set res ""
set cmd "maint print objfiles $objfile"