From 587c3d35f1cc24a0759946e1426ec7e9f4e292ce Mon Sep 17 00:00:00 2001 From: Phoebe Nichols Date: Thu, 25 Jul 2019 08:22:37 -0700 Subject: [PATCH] Catch error in SpecsFiles.delete Reviewed By: jvillard Differential Revision: D16491708 fbshipit-source-id: be4714367 --- infer/src/backend/SpecsFiles.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/backend/SpecsFiles.ml b/infer/src/backend/SpecsFiles.ml index 6ffe28256..308012dce 100644 --- a/infer/src/backend/SpecsFiles.ml +++ b/infer/src/backend/SpecsFiles.ml @@ -66,6 +66,7 @@ let iter ~f = summary_iterator load_specfiles f let delete pname = let filename = Summary.OnDisk.specs_filename_of_procname pname |> DB.filename_to_string in - Unix.unlink filename ; + (* Unix_error is raised if the file isn't present so do nothing in this case *) + (try Unix.unlink filename with Unix.Unix_error _ -> ()) ; Ondemand.remove_from_cache pname ; Summary.OnDisk.remove_from_cache pname