diff options
Diffstat (limited to 'storeio/dev.h')
| -rw-r--r-- | storeio/dev.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/storeio/dev.h b/storeio/dev.h index a4321399..d6e50102 100644 --- a/storeio/dev.h +++ b/storeio/dev.h @@ -40,6 +40,8 @@ struct dev indicates that there is no owner. */ pid_t owner; + int enforced; /* Nonzero iff --enforced flag was given. */ + /* Nonzero iff the --no-cache flag was given. If this is set, the remaining members are not used at all and don't need to be initialized or cleaned up. */ |