diff options
Diffstat (limited to 'tools/checkpatch.pl-update')
| -rwxr-xr-x | tools/checkpatch.pl-update | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/checkpatch.pl-update b/tools/checkpatch.pl-update index 2462038..58d1f40 100755 --- a/tools/checkpatch.pl-update +++ b/tools/checkpatch.pl-update @@ -66,6 +66,10 @@ download() { # Then any data it uses. url="${CGIT_URL}/scripts/spelling.txt?h=v${version}" wget "${url}" -O spelling.txt + + # Then any data it uses. + url="${CGIT_URL}/scripts/const_structs.checkpatch?h=v${version}" + wget "${url}" -O const_structs.checkpatch } main() { |