diff options
| author | Christopher Li <sparse@chrisli.org> | 2017-07-17 19:25:58 -0400 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-08-09 21:56:31 -0400 |
| commit | b1bcf2a5b9f43450bcb6055374c258c9de988502 (patch) | |
| tree | 482c50986ce52435333984be030b8f9864c40ce6 /Makefile | |
| parent | 9cee3e1148da50dfe51eb9fd900fdb5ece345d0b (diff) | |
| download | sparse-dev-b1bcf2a5b9f43450bcb6055374c258c9de988502.tar.gz | |
fix warnings report by selfcheck
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions