diff --git a/tests/sanity/80columns.test b/tests/sanity/80columns.test
index c1d297843..5b358ba07 100755
--- a/tests/sanity/80columns.test
+++ b/tests/sanity/80columns.test
@@ -48,7 +48,9 @@ for dir in "${srcdir-.}/../../spot" "${srcdir-.}/.."; do
                  -o -name "${1-*}.hxx" \
                  -o -name "${1-*}.cc" \
                  -o -name "${1-*}.py" \
-		 -o -name "${1-*}.test" \) -a -type f -a -print |
+		 -o -name "${1-*}.test" \) \
+                 -a -not -path '*.dir/*' \
+                 -a -type f -a -print |
   while read file; do
      if (expand $file | grep -q $x) 2>/dev/null; then
 	if grep 'GNU Bison' "$file" >/dev/null ||
diff --git a/tests/sanity/style.test b/tests/sanity/style.test
index 3287929ed..73b038adc 100755
--- a/tests/sanity/style.test
+++ b/tests/sanity/style.test
@@ -64,7 +64,8 @@ for dir in "$TOP/spot" "$TOP/bin" "$TOP/tests"; do
                  -o -name "${1-*}.hxx" \
                  -o -name "${1-*}.cc" \
                  -o -name "${1-*}.test" \) \
-	      -a -type f -a -print |
+                 -a -not -path '*.dir/*' \
+                 -a -type f -a -print |
   while read file; do
 
     if $GREP 'GNU Bison' "$file" >/dev/null ||