DEBUG: Executing shell function do_generate_toolchain_file
DEBUG: Shell function do_generate_toolchain_file finished