From 1e6ec0a7d0e5eb59737076586913dfc37fa10958 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Mon, 20 Sep 2010 23:32:22 +0200
Subject: [PATCH] improved tools/enforce_style.

---
 tools/enforce_style.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/enforce_style.sh b/tools/enforce_style.sh
index 506f77c..b69b5bf 100755
--- a/tools/enforce_style.sh
+++ b/tools/enforce_style.sh
@@ -1,4 +1,2 @@
 #!/bin/sh
-
-find . \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/( |\t)+$//g' {} \;
-find . \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/\t/  /g' {} \;
+find . \! -path "*_build*" -and \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/( |\t)+$//gi; s/\t/  /g' {} \;