diff options
Diffstat (limited to 'tests/source/dotest')
-rwxr-xr-x | tests/source/dotest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/source/dotest b/tests/source/dotest index cc278a5..c97e8cb 100755 --- a/tests/source/dotest +++ b/tests/source/dotest @@ -5,7 +5,7 @@ findfiles() { find "${top_srcdir}" \ '(' -type d -a '(' -name .git -o -name autotools ')' -prune ')' \ - -o '(' '(' -name '*.[ch]' -a ! -name 'probes.h' ')' -print0 ')' + -o '(' '(' -name '*.[ch]' -a ! -name 'config.h' ')' -print0 ')' } # |