From dbb22aabc60bf23cc4e76d3332096a456656312b Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 28 Mar 2017 05:52:03 -0700
Subject: [PATCH] [gitignore] ignore infer-deps-* generated by build-infer.sh

Summary:
This directory is created to trick opam into installing our dependencies even
if opam thinks it already did the job. If the user interrupts the build then
this directory can be left lingering around.

Reviewed By: mbouaziz

Differential Revision: D4779132

fbshipit-source-id: e47581a
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 9d027a0ba..d19f7fdba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@
 /_build
 /infer/_build
 /infer/tests/codetoanalyze/java/*/codetoanalyze
+/infer-deps-*
 _build_infer
 *.exp.test*
 *.test.dot