From 26108302d29613c1622c6d559ebbad8c191b429d Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 10 Jun 2015 13:45:23 -0100 Subject: [PATCH] [infer] report number of files analysed in the absence of *.cfg Summary: @public We were counting the number of matches for `infer-out/captured/*/*.cfg`, but some ways of running infer (eg, inferJ) do not produce cfgs. Instead, count the number of directorys `infer-out/captured/*/`. Test Plan: make -C infer java reports the number of models analysed instead of 0. --- infer/bin/inferlib.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py index fb04c5195..9b4d43600 100644 --- a/infer/bin/inferlib.py +++ b/infer/bin/inferlib.py @@ -511,7 +511,7 @@ class Infer: if self.args.buck and exit_status == os.EX_OK: clean_infer_out(self.args.infer_out) - cfgs = os.path.join(self.args.infer_out, 'captured', '*', '*.cfg') + cfgs = os.path.join(self.args.infer_out, 'captured', '*', '') captured_total = len(glob.glob(cfgs)) captured_plural = '' if captured_total <= 1 else 's' print('\n%d file%s analyzed' % (captured_total, captured_plural))