diff --git a/sanityCheck-java b/sanityCheck-java new file mode 100755 index 0000000000000000000000000000000000000000..c564d01dfc659224509727bfa9098774f886dea2 --- /dev/null +++ b/sanityCheck-java @@ -0,0 +1 @@ +git ls-files "src/*.tw" | xargs java -jar SanityCheck.jar