[backend] fix verbose logging "The project root ... is not a prefix of ..."

master
Cristiano Calcagno 9 years ago
parent 5104d852ee
commit 28f5025862

@ -53,10 +53,9 @@ let rel_source_file_from_abs_path root fname =
if Utils.string_is_prefix root fname then if Utils.string_is_prefix root fname then
let relative_fname = filename_to_relative root fname in let relative_fname = filename_to_relative root fname in
Relative relative_fname Relative relative_fname
else begin else
L.err "The project root %s is not a prefix of %s@." root fname; (* The project root is not a prefix of the file name *)
abs_source_file_from_path fname abs_source_file_from_path fname
end
type encoding_type = type encoding_type =
Enc_base | Enc_path_with_underscores | Enc_crc Enc_base | Enc_path_with_underscores | Enc_crc

Loading…
Cancel
Save