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' {} \;