diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2017-08-08 10:02:26 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-08 10:02:26 -0400 |
commit | e58c6fdacf972578a649ddc7e43fa984a67ffcb9 (patch) | |
tree | 8a5c266edf75f960411548a01c6c43dc6fcd10db /src/c/static.c | |
parent | 53dbce6998e78ddcb05693c7efdca101075941b0 (diff) | |
parent | 2d61ba018a61cc89348a46df972e8dd4f1285ee7 (diff) |
Merge pull request #84 from bbarenblat/master
Clean up some warning flags
Diffstat (limited to 'src/c/static.c')
-rw-r--r-- | src/c/static.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/c/static.c b/src/c/static.c index d70881e2..76fe4129 100644 --- a/src/c/static.c +++ b/src/c/static.c @@ -8,6 +8,8 @@ extern uw_app uw_application; static void log_(void *data, const char *fmt, ...) { + (void)data; + va_list ap; va_start(ap, fmt); @@ -17,6 +19,8 @@ static void log_(void *data, const char *fmt, ...) { static uw_loggers loggers = {NULL, log_, log_}; static char *get_header(void *data, const char *h) { + (void)data; + (void)h; return NULL; } @@ -56,15 +60,23 @@ void *uw_init_client_data() { } void uw_free_client_data(void *data) { + (void)data; } void uw_copy_client_data(void *dst, void *src) { + (void)dst; + (void)src; } void uw_do_expunge(uw_context ctx, uw_Basis_client cli, void *data) { + (void)ctx; + (void)cli; + (void)data; } void uw_post_expunge(uw_context ctx, void *data) { + (void)ctx; + (void)data; } int uw_supports_direct_status = 0; |