projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3606045
)
get-authors: Exclude empty lines.
author
Mathias Preiner
<mathias.preiner@gmail.com>
Tue, 26 Mar 2019 18:22:21 +0000
(11:22 -0700)
committer
Mathias Preiner
<mathias.preiner@gmail.com>
Tue, 26 Mar 2019 18:22:21 +0000
(11:22 -0700)
contrib/get-authors
patch
|
blob
|
history
diff --git
a/contrib/get-authors
b/contrib/get-authors
index d2bd1e7f5ba2c00c829709da7f9fb3e32233be40..d70e0ecdacf7a2a55a868449caed89f477a14ae2 100755
(executable)
--- a/
contrib/get-authors
+++ b/
contrib/get-authors
@@
-41,9
+41,10
@@
while [ $# -gt 0 ]; do
# (1) #include
# (2) namespace
# (3) } ... namespace ...
+ # (4) empty lines
#
awk -F ')' \
- '$2 !~ /^[ \t]*(#include|namespace|}.*namespace.*)/ {print $1}' | \
+ '$2 !~ /^[ \t]*(#include|namespace|}.*namespace.*
|[ \t]*$
)/ {print $1}' | \
# Keep author names only, remove the last 4 columns in ( ... )
awk 'NF{NF-=4};1' | \