diff options
author | Florian Westphal <fw@strlen.de> | 2019-01-09 23:26:05 +0100 |
---|---|---|
committer | Florian Westphal <fw@strlen.de> | 2019-01-09 23:32:02 +0100 |
commit | b338244abc7f018d79a95657fff88eadee7e9f6b (patch) | |
tree | bb8c96da078f7ad42d2d58b999310bef76d78395 /src/parser_bison.y | |
parent | bad27ca386276e64cd7a27abf3417b8a4be20fa4 (diff) |
src: fix netdev family device name parsing
Should use accept/use quotes, else you can't use this with a device name
that is shared with a key word, e.g. 'device vm'.
Signed-off-by: Florian Westphal <fw@strlen.de>
Acked-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'src/parser_bison.y')
-rw-r--r-- | src/parser_bison.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser_bison.y b/src/parser_bison.y index 39a3ab04..02a373cb 100644 --- a/src/parser_bison.y +++ b/src/parser_bison.y @@ -1969,7 +1969,7 @@ int_num : NUM { $$ = $1; } | DASH NUM { $$ = -$2; } ; -dev_spec : DEVICE STRING { $$ = $2; } +dev_spec : DEVICE string { $$ = $2; } | /* empty */ { $$ = NULL; } ; |