diff options
| author | Jakob Unterwurzacher | 2016-10-09 19:38:49 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-09 20:05:54 +0200 |
| commit | 9cf3ced0ce95495cabd8f4e7055d1c98f42363c9 (patch) | |
| tree | eec3bede62b9c6d0a72f13cca3609906336b1401 /benchmark-synthetic.bash | |
| parent | 25a8802403de157bdfc39b7860ea4e3ee2b1d8ee (diff) | |
main: also accept options at the end via "-o"
For compatability with mount(1), options are also accepted as
"-o COMMA-SEPARATED-OPTIONS" at the end of the command line.
For example, "-o q,zerokey" is equivalent to "-q -zerokey".
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions