diff options
| author | Kees Cook <keescook@chromium.org> | 2017-10-26 07:31:17 -0700 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2017-11-21 15:57:11 -0800 |
| commit | 9477b4ad7019ad423cc88a6b83fa717a5d8d9857 (patch) | |
| tree | ef35f2037b17b72eefd9d910f086bd3b8a2b9adf /scripts/Makefile.extrawarn | |
| parent | 513ae785c63c30741e46f43960213d4ae5382ec0 (diff) | |
Coccinelle: Remove setup_timer.cocci
Both the init_timer() and timer_setup() APIs have been removed. This
script will not be needed any more.
Signed-off-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'scripts/Makefile.extrawarn')
0 files changed, 0 insertions, 0 deletions