diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py index 6d9d8a7ec..e00e1f638 100644 --- 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