mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-24 00:11:05 +01:00
Allow multiple devices to be specified on one device / nodevice line.
Also allow "device" / "nodevice" to be spelled "devices" / "nodevices". MFC after: 2 weeks
This commit is contained in:
parent
5eded4f3d0
commit
30fdf276fb
Notes:
svn2git
2020-12-20 02:59:44 +00:00
svn path=/head/; revision=136880
@ -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);
|
||||
} ;
|
||||
|
||||
%%
|
||||
|
Loading…
Reference in New Issue
Block a user