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 \