diff options
author | Roland McGrath <roland@gnu.org> | 1999-11-18 06:23:41 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1999-11-18 06:23:41 +0000 |
commit | f57bf38f6c7c4371142b749dbd11b0fbb91632c3 (patch) | |
tree | 36e177b02379b85f4203c1927e7133ff8c272a3e /storeio | |
parent | 0e224593fa805f84729abf366db3910dc0b28bfa (diff) |
1999-11-14 Roland McGrath <roland@baalperazim.frob.com>
* dev.h (struct dev): New member `enforced'.
* storeio.c (enforce_store): New variable.
(options, parse_opt, trivfs_append_args): Grok new option
--enforced/-e to set enforce_store.
(check_open_hook): Set DEVICE->enforced from enforce_store.
* io.c (trivfs_S_file_get_storage_info): If DEV->enforced is set
and the store flags lack STORE_ENFORCED, then return STORAGE_OTHER.
Diffstat (limited to 'storeio')
-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. */ |