diff options
Diffstat (limited to 'build-aux/extract-ofp-fields')
| -rwxr-xr-x | build-aux/extract-ofp-fields | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build-aux/extract-ofp-fields b/build-aux/extract-ofp-fields index bc15a8bc6..4c9224609 100755 --- a/build-aux/extract-ofp-fields +++ b/build-aux/extract-ofp-fields @@ -752,6 +752,8 @@ ovs\-fields \- protocol header fields in OpenFlow and Open vSwitch oline = oline.replace(u'\u2208', r'\[mo]') oline = oline.replace(u'\u2260', r'\[!=]') oline = oline.replace(u'\u2264', r'\[<=]') + oline = oline.replace(u'\u2265', r'\[>=]') + oline = oline.replace(u'\u00d7', r'\[mu]') if len(oline): output += [oline] |