From b83ab88b651d931963d6fb1d2c8189ce624eed11 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 30 Jun 2017 05:42:19 -0700 Subject: [PATCH] [multilinks] do not warn when the multilink does not exist Reviewed By: grievejia Differential Revision: D5338774 fbshipit-source-id: f386cd1 --- infer/src/base/Multilinks.re | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/infer/src/base/Multilinks.re b/infer/src/base/Multilinks.re index f84223b6f..db94ffde1 100644 --- a/infer/src/base/Multilinks.re +++ b/infer/src/base/Multilinks.re @@ -30,9 +30,7 @@ let reset_cache () => String.Table.clear multilink_files_cache; let read ::dir :option t => { let multilink_fname = Filename.concat dir multilink_file_name; switch (Utils.read_file multilink_fname) { - | Error error => - L.internal_error "Couldn't read multilink file '%s': %s@." multilink_fname error; - None + | Error error => None | Ok lines => let links = create (); List.iter