Function check_output_file

tools/link.py:2946–2948 · view source on GitHub ↗

(f)

Source from the content-addressed store, hash-verified

2944
2945
2946	def check_output_file(f):
2947	if os.path.isdir(f):
2948	exit_with_error(f'cannot write output file `{f}`: Is a directory')
2949
2950
2951	def move_file(src, dst):

generate_traditional_runtime_htmlFunction · 0.85

move_fileFunction · 0.85

exit_with_errorFunction · 0.85

no test coverage detected