|
|
@ -30,9 +30,7 @@ let reset_cache () => String.Table.clear multilink_files_cache;
|
|
|
|
let read ::dir :option t => {
|
|
|
|
let read ::dir :option t => {
|
|
|
|
let multilink_fname = Filename.concat dir multilink_file_name;
|
|
|
|
let multilink_fname = Filename.concat dir multilink_file_name;
|
|
|
|
switch (Utils.read_file multilink_fname) {
|
|
|
|
switch (Utils.read_file multilink_fname) {
|
|
|
|
| Error error =>
|
|
|
|
| Error error => None
|
|
|
|
L.internal_error "Couldn't read multilink file '%s': %s@." multilink_fname error;
|
|
|
|
|
|
|
|
None
|
|
|
|
|
|
|
|
| Ok lines =>
|
|
|
|
| Ok lines =>
|
|
|
|
let links = create ();
|
|
|
|
let links = create ();
|
|
|
|
List.iter
|
|
|
|
List.iter
|
|
|
|