diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-06 10:39:53 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-06 10:39:53 +0100 |
commit | a9eb3e9765a21f9903705e2b9f46694529af8155 (patch) | |
tree | 08d09d785e86c652ab6810aad105c90be188fdfa /storeio/pager.c | |
parent | 7dd0f755f4ac29e6c10085c16e18dd97d92ae5e7 (diff) |
Remove unused variables
* console/pager.c (user_pager_init): Remove unused variables.
* ext2fs/pager.c (create_disk_pager): Likewise.
* fatfs/pager.c (create_fat_pager): Likewise.
* storeio/pager.c (init_dev_paging): Likewise.
Diffstat (limited to 'storeio/pager.c')
-rw-r--r-- | storeio/pager.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/storeio/pager.c b/storeio/pager.c index f8f59cdf..54b17142 100644 --- a/storeio/pager.c +++ b/storeio/pager.c @@ -155,7 +155,6 @@ init_dev_paging () pthread_mutex_lock (&pager_global_lock); if (pager_port_bucket == NULL) { - pthread_t thread; error_t err; pager_port_bucket = ports_create_bucket (); |