Skip to content

Commit

Permalink
remove erroneous relpath call
Browse files Browse the repository at this point in the history
  • Loading branch information
ricffb committed Dec 4, 2024
1 parent dab9a0d commit ed499c4
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion contrib/vcloud/benchmarkclient_executor.py
Original file line number Diff line number Diff line change
Expand Up @@ -58,12 +58,14 @@ def find_executable(self, executable_name, subdir=""):

assert self.container_mount_point is not None, "Container mount point not set"

# At this point we know, that the tool is located at container_mount_point
# as the container as the tool_dir mounted to this location
dirs.append(os.path.join(self.container_mount_point, subdir))
logging.debug("Searching for executable %s in %s", executable_name, dirs)

executable = benchexec.util.find_executable2(executable_name, dirs)
if executable:
return os.path.relpath(executable, self.tool_directory)
return executable

other_file = benchexec.util.find_executable2(executable_name, dirs, os.F_OK)
if other_file:
Expand Down

0 comments on commit ed499c4

Please sign in to comment.