projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6b78412
)
Escape left brace in regex in update-copyright script.
author
Mathias Preiner
<mathias.preiner@gmail.com>
Fri, 7 Jul 2017 16:40:08 +0000
(09:40 -0700)
committer
Mathias Preiner
<mathias.preiner@gmail.com>
Fri, 7 Jul 2017 16:40:08 +0000
(09:40 -0700)
contrib/update-copyright.pl
patch
|
blob
|
history
diff --git
a/contrib/update-copyright.pl
b/contrib/update-copyright.pl
index ba0b4313d8edde484dcae15c66d6cf37b4abd357..99472ff948132794659086baf7da6b797833abe7 100755
(executable)
--- a/
contrib/update-copyright.pl
+++ b/
contrib/update-copyright.pl
@@
-139,7
+139,7
@@
sub handleFile {
my $authors = <$AUTHOR>; chomp $authors;
close $AUTHOR;
$_ = <$IN>;
- if(m,^(%{)?/\*(\*| )\*\*\*,) {
+ if(m,^(%
\
{)?/\*(\*| )\*\*\*,) {
print "updating\n";
if($file =~ /\.(y|yy|ypp|Y)$/) {
print $OUT "%{/******************* */\n";
@@
-201,7
+201,7
@@
$line";
if($file =~ /\.(y|yy|ypp|Y)$/) {
while(my $line = <$IN>) {
chomp $line;
- if($line =~ '\s*%{(.*)') {
+ if($line =~ '\s*%
\
{(.*)') {
print $OUT "$1\n";
last;
}