diff options
Diffstat (limited to 'dist/s_string')
| -rw-r--r-- | dist/s_string | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/dist/s_string b/dist/s_string index daaf3fc6894..3c4f8ef3b5e 100644 --- a/dist/s_string +++ b/dist/s_string @@ -21,9 +21,13 @@ check() { } } -l="`cd .. && echo src/include/*.[hi] src/include/*.in`" -for i in $l `sed -e '/^[a-z]/! d' filelist`; do - check $i +# List of files to spellchk. +l=`(cd .. && + find examples ext src test -name '*.[chisy]' && + find src -name '*.in')` + +for f in $l; do + check $f done exit 0 |