diff --git a/infer/src/integration/Diff.ml b/infer/src/integration/Diff.ml index e8c1f4334..2e8bf6ad5 100644 --- a/infer/src/integration/Diff.ml +++ b/infer/src/integration/Diff.ml @@ -44,6 +44,7 @@ let save_report revision = report_name let diff driver_mode = + Driver.run_prologue driver_mode ; (* TODO(t15553258) run gen-build script if specified *) (* run capture *) Driver.capture driver_mode ~changed_files:None ; @@ -61,5 +62,4 @@ let diff driver_mode = checkout Current ; let previous_report = Some (save_report Previous) in (* compute differential *) - ReportDiff.reportdiff ~current_report ~previous_report ; (* TODO(t15553258) report new bugs! *) - () + ReportDiff.reportdiff ~current_report ~previous_report ; Driver.run_epilogue driver_mode ; () diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 99d3f7f26..cf7506d1e 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -547,6 +547,7 @@ let run_epilogue driver_mode = StatsAggregator.generate_files () ; if Config.equal_analyzer Config.analyzer Config.Crashcontext then Crashcontext.crashcontext_epilogue ~in_buck_mode ; - if Config.fail_on_bug then fail_on_issue_epilogue () ) ; + if CLOpt.(equal_command Run) Config.command && Config.fail_on_bug then + fail_on_issue_epilogue () ) ; if Config.buck_cache_mode then clean_results_dir () ; () diff --git a/infer/tests/build_systems/diff/Makefile b/infer/tests/build_systems/diff/Makefile index ee7537b84..fae551a4e 100644 --- a/infer/tests/build_systems/diff/Makefile +++ b/infer/tests/build_systems/diff/Makefile @@ -52,7 +52,7 @@ test: print $(QUIET)$(call check_no_diff,preexisting.exp,preexisting.exp.test) .PHONY: replace -replace: $(EXPECTED_TEST_OUTPUT) +replace: introduced.exp.test $(COPY) introduced.exp.test introduced.exp $(COPY) fixed.exp.test fixed.exp $(COPY) preexisting.exp.test preexisting.exp