diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 55004a800..2df756b3c 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -582,8 +582,7 @@ let run_epilogue mode = if Config.developer_mode then StatsAggregator.generate_files () ; if Config.equal_analyzer Config.analyzer Config.Crashcontext then Crashcontext.crashcontext_epilogue ~in_buck_mode ; - if CLOpt.(equal_command Run) Config.command && Config.fail_on_bug then - fail_on_issue_epilogue () ) ; + if Config.fail_on_bug then fail_on_issue_epilogue () ) ; if Config.buck_cache_mode then clean_results_dir () ; ()