From b2398ae99056d9d90dfdb7de1c3e69980b3cd68d Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Mon, 17 Aug 2015 07:13:00 -0600
Subject: [PATCH] [Infer][frontend] Pass -incremental flag to the backend

Summary: Previously, this flag did nothing.
---
 infer/bin/inferlib.py | 3 +++
 1 file changed, 3 insertions(+)

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