X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fextract-ofp-msgs;h=5eaa141cae25da04b53a1c4a58c9d661db0972bb;hb=2e1ae2005ed347d2dfebd23fff40c54a1a2a6716;hp=98072897584723e92f206cd3855241e026d89c8a;hpb=6ed3b860fe806fce26dfc760cb428a9a5432d329;p=openvswitch

diff --git a/build-aux/extract-ofp-msgs b/build-aux/extract-ofp-msgs
index 98072897..5eaa141c 100755
--- a/build-aux/extract-ofp-msgs
+++ b/build-aux/extract-ofp-msgs
@@ -30,6 +30,7 @@ version_map = {"1.0":     (OFP10_VERSION, OFP10_VERSION),
                "1.3+":    (OFP13_VERSION, OFP13_VERSION),
                "1.0-1.1": (OFP10_VERSION, OFP11_VERSION),
                "1.0-1.2": (OFP10_VERSION, OFP12_VERSION),
+               "1.1-1.2": (OFP11_VERSION, OFP12_VERSION),
                "<all>":   (0x01, 0xff)}
 
 def get_line():