diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-04-05 14:35:19 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-04-05 14:35:19 +0200 |
| commit | 6357d0b257044d639f8321c68d2fd21bc7e1eda5 (patch) | |
| tree | 4d4648a738b77bd2661bf78cf9a6d190f639fee2 | |
| parent | a79dc8ecbbcd8cadaa1036b8e5ca6e978bbf75c3 (diff) | |
pci-arbiter: Fix --device-master-port option name
for coherency with ext2fs and rumpdisk
* pci-arbiter/options.h (options): Rename --dev-master-port option to
--device-master-port option.
| -rw-r--r-- | pci-arbiter/options.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pci-arbiter/options.h b/pci-arbiter/options.h index 292d2963..2666bc4d 100644 --- a/pci-arbiter/options.h +++ b/pci-arbiter/options.h @@ -72,7 +72,7 @@ static const struct argp_option options[] = { "Node cache length. " STR (NODE_CACHE_MAX) " by default"}, {"disk-server-task", 'T', "TASK", 0, "Task for bootstrapping disk server"}, {"host-priv-port", 'H', "PORT", 0, "Port for bootstrapping host"}, - {"dev-master-port", 'P', "PORT", 0, "Port for bootstrapping device master"}, + {"device-master-port", 'P', "PORT", 0, "Port for bootstrapping device master"}, {0} }; |