diff --git a/infer/src/backend/mergeCapture.ml b/infer/src/backend/mergeCapture.ml index 9769260e2..f20f4d29d 100644 --- a/infer/src/backend/mergeCapture.ml +++ b/infer/src/backend/mergeCapture.ml @@ -101,7 +101,7 @@ let rec slink ~stats ~skiplevels src dst = (Filename.concat dst item)) items ) else if skiplevels > 0 then () - else if Config.merge && Filename.check_suffix dst ".attr" then add_multilink_attr ~stats src dst + else if Filename.check_suffix dst ".attr" then add_multilink_attr ~stats src dst else create_link ~stats src dst (** Determine if the destination should link to the source. diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 3f2284c4c..e77696271 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -180,9 +180,7 @@ let clean_results_dir () = let check_captured_empty mode = let clean_command_opt = clean_compilation_command mode in - (* if merge is passed, the captured folder will be empty at this point, - but will be filled later on. *) - if Utils.directory_is_empty Config.captured_dir && not Config.merge then ( + if Utils.directory_is_empty Config.captured_dir then ( ( match clean_command_opt with | Some clean_command -> L.user_warning "@\nNothing to compile. Try running `%s` first.@." clean_command