diff options
author | Jakob Unterwurzacher | 2016-10-09 20:06:23 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2016-10-09 20:06:23 +0200 |
commit | 03c8b133710c190364858de09b2f24c5fa891d88 (patch) | |
tree | 79741f8409c06b5ef2148dc187075781a670b3f8 /benchmark-synthetic.bash | |
parent | 9cf3ced0ce95495cabd8f4e7055d1c98f42363c9 (diff) |
main: ignore options rw, nosuid, nodev.
When called from mount, we always get either "suid" or "nosuid".
As "nosuid" is the default, just ignore the options. Same for
the other options.
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions