diff options
Diffstat (limited to 'src/cmd/venti/srv/lumpcache.c')
| -rw-r--r-- | src/cmd/venti/srv/lumpcache.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmd/venti/srv/lumpcache.c b/src/cmd/venti/srv/lumpcache.c index d9a6b954..93fed6d1 100644 --- a/src/cmd/venti/srv/lumpcache.c +++ b/src/cmd/venti/srv/lumpcache.c @@ -413,7 +413,7 @@ checklumpcache(void) } if(lumpcache.avail != lumpcache.allowed - size){ fprint(2, "mismatched available=%d and allowed=%d - used=%d space", lumpcache.avail, lumpcache.allowed, size); - *(int*)0=0; + *(volatile int*)0=0; } nfree = 0; |