[Infer][frontend] Pass -incremental flag to the backend

Summary: Previously, this flag did nothing.
10 years ago · b2398ae990
parent 5e5fac5dbc
commit b2398ae990
1 changed files with 3 additions and 0 deletions
--- a/infer/bin/inferlib.py
+++ b/infer/bin/inferlib.py
@ -495,6 +495,9 @@ class Infer:
                # '-notest',
            ]

+        if self.args.incremental:
+            infer_options.append('-incremental')
+
        if self.args.specs_dirs:
            infer_options += self.args.specs_dirs