diff options
author | des <des@FreeBSD.org> | 2004-10-24 10:27:16 +0000 |
---|---|---|
committer | des <des@FreeBSD.org> | 2004-10-24 10:27:16 +0000 |
commit | 497829719b25529576a2c8e2149e3fc404196a33 (patch) | |
tree | cff281857c15a92bef5fe300623d56de865cb7a8 /usr.sbin/config | |
parent | 3470b62b2264dd1ea9139c9387aa356315e6d5c4 (diff) | |
download | FreeBSD-src-497829719b25529576a2c8e2149e3fc404196a33.zip FreeBSD-src-497829719b25529576a2c8e2149e3fc404196a33.tar.gz |
Allow multiple devices to be specified on one device / nodevice line.
Also allow "device" / "nodevice" to be spelled "devices" / "nodevices".
MFC after: 2 weeks
Diffstat (limited to 'usr.sbin/config')
-rw-r--r-- | usr.sbin/config/config.y | 34 |
1 files changed, 27 insertions, 7 deletions
diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index 47b2568..77a17fc 100644 --- a/usr.sbin/config/config.y +++ b/usr.sbin/config/config.y @@ -246,20 +246,40 @@ Dev: ; Device_spec: - DEVICE Dev + DEVICE Dev_list + | + NODEVICE NoDev_list + ; + +Dev_list: + Dev_list COMMA Device + | + Device + ; + +NoDev_list: + NoDev_list COMMA NoDevice + | + NoDevice + ; + +Device: + Dev = { - newopt(&opt, devopt($2), ns("1")); + newopt(&opt, devopt($1), ns("1")); /* and the device part */ - newdev($2); - } | - NODEVICE Dev + newdev($1); + } + +NoDevice: + Dev = { - char *s = devopt($2); + char *s = devopt($1); rmopt(&opt, s); free(s); /* and the device part */ - rmdev($2); + rmdev($1); } ; %% |