diff options
| author | Bogdan Drutu <bdrutu@google.com> | 2017-05-16 22:42:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-16 22:42:40 -0700 |
| commit | f443b1a4eb88e5ad0f6d4d4f6ee9fb3e4290f54e (patch) | |
| tree | 79484e20ee044e5c8f008ea85a924585745503f4 /checkstyle.xml | |
| parent | 156006623a8269f378b842a6a402af10ed72d4e9 (diff) | |
| download | platform_external_opencensus-java-f443b1a4eb88e5ad0f6d4d4f6ee9fb3e4290f54e.tar.gz platform_external_opencensus-java-f443b1a4eb88e5ad0f6d4d4f6ee9fb3e4290f54e.tar.bz2 platform_external_opencensus-java-f443b1a4eb88e5ad0f6d4d4f6ee9fb3e4290f54e.zip | |
Add check for the license header. (#309)
Diffstat (limited to 'checkstyle.xml')
| -rw-r--r-- | checkstyle.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/checkstyle.xml b/checkstyle.xml index 72ad2fa5..f6bb91c3 100644 --- a/checkstyle.xml +++ b/checkstyle.xml @@ -20,6 +20,14 @@ <property name="severity" value="error"/> + + <module name="Header"> + <property name="headerFile" value="${rootDir}/checkstyle.license"/> + <!-- Ignores the first line and the second line with the year --> + <property name="ignoreLines" value="2"/> + <property name="fileExtensions" value="java"/> + </module> + <property name="fileExtensions" value="java, properties, xml"/> <!-- Checks for whitespace --> <!-- See http://checkstyle.sf.net/config_whitespace.html --> |