5 find src \
( -name '*.cpp' -o -name '*.h' \
) \
! -path 'src/prop/minisat/*' \
! -path 'src/prop/bvminisat/*' \
! -path 'src/parser/*/generated/*' |
8 $dir/extract-strings-and-comments $f |
9 ispell -a -W 3 2>/dev/null |
14 \&*|\#*|\?*) echo "$s" | awk '{print$2}';;
15 # *) test -n "$s" && echo "UNKNOWN : $s";;
17 done | sort -fu | sed 's,^, ,'`
18 if [ -n "$misspelled_words" ]; then
20 echo "$misspelled_words"