Don't pass -lib args to InferPrint

Summary: The --specs-dir argument of infer toplevel doesn't need to pass -lib to InferPrint
10 years ago · 31e7a14344
parent 950b6f4aa4
commit 31e7a14344
1 changed files with 0 additions and 3 deletions
--- 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
        )