Excludes DDlog test expected outputs from coding style checks

HazyResearch · Jan 24, 2017 · 4bf4888 · 4bf4888
1 parent 30a7241
commit 4bf4888
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/checkstyle.sh b/test/checkstyle.sh
@@ -55,6 +55,7 @@ NO find "${textfiles[@]}" -type f \
     ! -name '.gitmodules' \
     ! -name 'Makefile' ! -name '*.mk' \
     ! -path compiler/compile-code/compile-code-Makefile \
+    ! -path 'compiler/ddlog/test/*.expected' \
     \
     -exec grep -l '^[[:space:]]*'$'\t' {} +