diff options
author | Flavio Cruz <flaviocruz@gmail.com> | 2008-08-11 13:09:50 +0000 |
---|---|---|
committer | Flavio Cruz <flaviocruz@gmail.com> | 2008-08-11 13:09:50 +0000 |
commit | 44ab8b0765298ef7aa55ef1f93e16e5bc1772005 (patch) | |
tree | 5c8bb6f0c013637dbe151102a47777dd9a214514 | |
parent | 2e2742b4ecc71a18052cd4a1acc575083049645a (diff) |
Ignore unused parameters task & cookie.
-rw-r--r-- | libs/fetch-root.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libs/fetch-root.c b/libs/fetch-root.c index a6727e6ee..075771f94 100644 --- a/libs/fetch-root.c +++ b/libs/fetch-root.c @@ -77,6 +77,8 @@ helper_fetch_root (file_t dotdot, mach_msg_type_name_t * underlying_type, task_t task, void *cookie) { + (void)task; + (void)cookie; return (*callback2) (flags, underlying, underlying_type); } |