From e02ba41a65e464ce2cd17b7ba3024e079e4602fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= <code@bnwr.net>
Date: Tue, 11 Sep 2018 11:40:09 +0800
Subject: [PATCH] Tooling: do not enter _opam when fixing indent

---
 src/lib_stdlib/test-ocp-indent.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib_stdlib/test-ocp-indent.sh b/src/lib_stdlib/test-ocp-indent.sh
index 19c6a5362..614bd3493 100755
--- a/src/lib_stdlib/test-ocp-indent.sh
+++ b/src/lib_stdlib/test-ocp-indent.sh
@@ -17,6 +17,7 @@ files="$@"
 if [ -z "$files" ]; then
 files=` find \( -name _build -or \
                 -name .git -or \
+                -name _opam -or \
                 -wholename ./src/environment/v1.ml -or \
                 -name ocplib-json-typed -or \
                 -name registerer.ml \) -prune -or \