From 7ee2bf248b4ae67117b32d215d77bef3e04a4759 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Fri, 2 Oct 2015 08:40:08 -0700 Subject: [PATCH] Don't print Makefile generation time under errors during BuckAnalyze Reviewed By: @dulmarod Differential Revision: D2501328 --- infer/bin/BuckAnalyze | 1 + 1 file changed, 1 insertion(+) diff --git a/infer/bin/BuckAnalyze b/infer/bin/BuckAnalyze index 65731f996..299e998e2 100755 --- a/infer/bin/BuckAnalyze +++ b/infer/bin/BuckAnalyze @@ -278,6 +278,7 @@ def get_basic_stats(stats): 'analysis_time', 'reporting_time', 'total_time', + 'makefile_generation_time' } bugs_found = 'Errors found:\n\n' for key, value in sorted(stats['int'].items()):