diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/spellcheck | 2 | ||||
| -rwxr-xr-x | contrib/update-copyright.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/contrib/spellcheck b/contrib/spellcheck index 4aa210a50..20cbd82d9 100755 --- a/contrib/spellcheck +++ b/contrib/spellcheck @@ -2,7 +2,7 @@ dir="$(dirname "$0")" -find src \( -name '*.cpp' -o -name '*.h' \) \! -path 'src/prop/minisat/*' \! -path 'src/prop/bvminisat/*' \! -path 'src/prop/cryptominisat/*' \! -path 'src/parser/*/generated/*' | +find src \( -name '*.cpp' -o -name '*.h' \) \! -path 'src/prop/minisat/*' \! -path 'src/prop/bvminisat/*' \! -path 'src/parser/*/generated/*' | while read f; do misspelled_words=` $dir/extract-strings-and-comments $f | diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 4811a4bbe..f7ce15f6c 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -34,7 +34,7 @@ # the license.) # -my $excluded_directories = '^(minisat|bvminisat|cryptominisat|CVS|generated)$'; +my $excluded_directories = '^(minisat|bvminisat|CVS|generated)$'; my $excluded_paths = '^(src/parser/antlr_input_imports.cpp|src/bindings/compat/.*)$'; # Years of copyright for the template. E.g., the string |