X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fextract-ofp-errors;h=1ec5ba4d39ce654372e13fe15a3d220bfa703f41;hb=0c449c5683a64592215c3bcc051437bd7bffffa3;hp=efaf103bca79cc6dc8b98805d8ef4c76e4f806be;hpb=2e0525bcf5ba3f348795f303f8cb69c9fc033ff3;p=openvswitch

diff --git a/build-aux/extract-ofp-errors b/build-aux/extract-ofp-errors
index efaf103b..1ec5ba4d 100755
--- a/build-aux/extract-ofp-errors
+++ b/build-aux/extract-ofp-errors
@@ -234,6 +234,7 @@ def extract_ofp_errors(filenames):
                               "NX1.0+": ("OF1.0", "OF1.1", "OF1.2"),
                               "NX1.0":  ("OF1.0",),
                               "NX1.1":  ("OF1.1",),
+                              "NX1.1+": ("OF1.1",),
                               "NX1.2":  ("OF1.2",)}
                 if targets not in target_map:
                     fatal("%s: unknown error domain" % targets)