summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck1
1 files changed, 1 insertions, 0 deletions
diff --git a/check b/check
index dd89a4f3..f93599b1 100755
--- a/check
+++ b/check
@@ -36,6 +36,7 @@ then
git ls-files |
grep -v '\.gz$' |
grep -Ev 'tests[^/]*/.*\.std(out|err)' |
+ grep -vF 'tests/build-system-autotools.script' |
while read x
do
if tr -cd '\t' < "$x" | grep . > /dev/null