projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
get-authors: Exclude common source code patterns. (#2900)
[cvc5.git]
/
contrib
/
update-copyright.pl
diff --git
a/contrib/update-copyright.pl
b/contrib/update-copyright.pl
index e052430c7a0b13a9e79043ce9365ca7e5373f200..3412905af99c785e93cf3dc7d606361318b2d8a0 100755
(executable)
--- a/
contrib/update-copyright.pl
+++ b/
contrib/update-copyright.pl
@@
-35,15
+35,15
@@
my $excluded_directories = '^(CVS|generated)$';
my $excluded_paths = '^(';
my $excluded_directories = '^(CVS|generated)$';
my $excluded_paths = '^(';
-$excluded_paths .= 'src/bindings/compat/.*';
+# note: first excluded path regexp must not start with a '|'
# different license
# different license
-$excluded_paths .= '
|
src/util/channel.h';
+$excluded_paths .= 'src/util/channel.h';
# minisat license
$excluded_paths .= '|src/prop/(bv)?minisat/core/.*';
$excluded_paths .= '|src/prop/(bv)?minisat/mtl/.*';
$excluded_paths .= '|src/prop/(bv)?minisat/simp/.*';
$excluded_paths .= '|src/prop/(bv)?minisat/utils/.*';
# minisat license
$excluded_paths .= '|src/prop/(bv)?minisat/core/.*';
$excluded_paths .= '|src/prop/(bv)?minisat/mtl/.*';
$excluded_paths .= '|src/prop/(bv)?minisat/simp/.*';
$excluded_paths .= '|src/prop/(bv)?minisat/utils/.*';
-$excluded_paths .= '
$)
';
+$excluded_paths .= '
)$
';
# Years of copyright for the template. E.g., the string
# "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever.
# Years of copyright for the template. E.g., the string
# "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever.
@@
-198,7
+198,8
@@
$line";
print $OUT "/*! \\file $file\n";
}
print $OUT " ** \\verbatim\n";
print $OUT "/*! \\file $file\n";
}
print $OUT " ** \\verbatim\n";
- print $OUT " ** Top authors (to current version): $authors\n";
+ print $OUT " ** Top contributors (to current version):\n";
+ print $OUT " ** $authors\n";
print $OUT $standard_template;
print $OUT " **\n";
print $OUT " ** \\brief [[ Add one-line brief description here ]]\n";
print $OUT $standard_template;
print $OUT " **\n";
print $OUT " ** \\brief [[ Add one-line brief description here ]]\n";