diff --git a/catkin_tools/resultspace.py b/catkin_tools/resultspace.py index d48599e6..86ca51dd 100644 --- a/catkin_tools/resultspace.py +++ b/catkin_tools/resultspace.py @@ -59,6 +59,7 @@ def get_resultspace_environment(result_space_path, quiet=False, cached=True): # Use fallback shell if using a non-standard shell if shell_name not in ['bash', 'zsh']: shell_name = 'bash' + shell_path = "/bin/bash" # Check to make sure result_space_path contains the appropriate setup file setup_file_path = os.path.join(result_space_path, 'env.sh')