diff options
-rw-r--r-- | rumpdisk/block-rump.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c index ab99f517..db98ef6d 100644 --- a/rumpdisk/block-rump.c +++ b/rumpdisk/block-rump.c @@ -324,7 +324,7 @@ rumpdisk_device_write (void *d, mach_port_t reply_port, } else { - volatile uint8_t dummy_read; + volatile uint8_t dummy_read __attribute__ ((unused)); int npages = (count + pagesize - 1) / pagesize; int i; |