From 31e7a14344c8a1654f07db5313dd990233c6600b Mon Sep 17 00:00:00 2001 From: martinoluca Date: Fri, 7 Aug 2015 10:01:06 -0100 Subject: [PATCH] Don't pass -lib args to InferPrint Summary: The --specs-dir argument of infer toplevel doesn't need to pass -lib to InferPrint --- infer/bin/inferlib.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py index 58f895cd4..b97d3500d 100644 --- a/infer/bin/inferlib.py +++ b/infer/bin/inferlib.py @@ -616,9 +616,6 @@ class Infer: '-analyzer', self.args.analyzer ] - if self.args.specs_dirs: - infer_print_options += self.args.specs_dirs - exit_status = subprocess.check_call( infer_print_cmd + infer_print_options )