summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2008-08-11 13:09:50 +0000
committerFlavio Cruz <flaviocruz@gmail.com>2008-08-11 13:09:50 +0000
commit44ab8b0765298ef7aa55ef1f93e16e5bc1772005 (patch)
tree5c8bb6f0c013637dbe151102a47777dd9a214514
parent2e2742b4ecc71a18052cd4a1acc575083049645a (diff)
Ignore unused parameters task & cookie.
-rw-r--r--libs/fetch-root.c2
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);
}