diff options
Diffstat (limited to 'check')
-rwxr-xr-x | check | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |