diff --git a/tools/enforce_style.sh b/tools/enforce_style.sh new file mode 100755 index 0000000..8d178c8 --- /dev/null +++ b/tools/enforce_style.sh @@ -0,0 +1,4 @@ +#!/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' {} \;