diff options
Diffstat (limited to 'contrib/update-copyright.pl')
| -rwxr-xr-x | contrib/update-copyright.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 79e5986de..8c73d514c 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -28,6 +28,7 @@ # the license.) my $excluded_directories = '^(minisat|CVS|generated)$'; +my $excluded_paths = '^(src/parser/bounded_token_buffer\.(h|cpp))$'; # Years of copyright for the template. E.g., the string # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever. @@ -101,6 +102,7 @@ sub recurse { my $is_directory = S_ISDIR($mode); if($is_directory) { next if $file =~ /$excluded_directories/; + next if $srcdir.'/'.$file =~ /$excluded_paths/; recurse($srcdir.'/'.$file); } else { next if !($file =~ /\.(c|cc|cpp|C|h|hh|hpp|H|y|yy|ypp|Y|l|ll|lpp|L|g)$/); |