From 5adfe2d66893f7bd1c587e7572678ce63ca91deb Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 15 May 2017 05:30:02 -0400 Subject: [PATCH] Ignore local switch directory (#77) This makes jbuilder usable for building projects that use a local switch --- src/file_tree.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/file_tree.ml b/src/file_tree.ml index a9ef5a14..0033bc41 100644 --- a/src/file_tree.ml +++ b/src/file_tree.ml @@ -37,6 +37,7 @@ let root t = t.root let ignore_file = function | "" + | "_opam" | "_build" | ".git" | ".hg"