Dmitry Vyukov
|
a3d497bf6c
|
all: fix marking of auto-generated files
Update the copyright checking script and more files
for the standard convention of marking auto-generated files.
|
2020-07-29 13:36:11 +02:00 |
|
Dmitry Vyukov
|
51c18193d3
|
tools/check-copyright.sh: print errors in standard format
Use the standard "file:line:col: error message" format.
Update #1699
|
2020-05-18 11:34:42 +02:00 |
|
Dmitry Vyukov
|
bb26bde008
|
tools/check-copyright.sh: check py and yml files
Update #1699
|
2020-05-18 11:34:42 +02:00 |
|
Mark Johnston
|
1253d6f07f
|
tools: specify the search path for find(1)
|
2020-02-24 10:18:37 +01:00 |
|
Mark Johnston
|
502ca6cde7
|
tools: avoid hard-coding the path to interpreters
On BSD they are usually installed under /usr/local/.
|
2020-02-24 10:18:37 +01:00 |
|
Dmitry Vyukov
|
a35df73a56
|
tools/check-copyright.sh: also check cc/h/S files
|
2020-02-21 17:56:49 +01:00 |
|
Dmitry Vyukov
|
135c18aadb
|
tools: add script that checks copyright headers
Fixes #1604
|
2020-02-18 16:05:10 +01:00 |
|