diff --git a/builder/sources.ml b/builder/sources.ml index e7644a283..be1c27d26 100644 --- a/builder/sources.ml +++ b/builder/sources.ml @@ -35,7 +35,7 @@ let parse_conf ~prog ~debug file = if debug then ( eprintf (f_"%s: trying to read %s\n") prog file; ); - let sections = Ini_reader.read_ini ~prog file in + let sections = Ini_reader.read_ini ~prog ~error_suffix:"[ignored]" file in let sources = List.fold_right ( fun (n, fields) acc ->