From 22292e6058b7f308e5c2c21b8f9e1da95948376d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 24 Nov 2016 20:48:28 +0100 Subject: [PATCH] sanity: do not check source files in *.dir/* Because gal2c generates some C++ sources that do not match our coding convention and should not be checked. * tests/sanity/80columns.test, tests/sanity/style.test: Do not test files in tests' work directories. --- tests/sanity/80columns.test | 4 +++- tests/sanity/style.test | 3 ++- 2 files changed, 5 insertions(+), 2 deletions(-) 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 ||