X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fextract-ofp-errors;h=db28af839cd042124d23e0afbbd6480fb18c21ae;hb=885b000fab2673744004b66eddd4569e2f1f9c2e;hp=bd4ab9ed51e516fed16d67e356fb476aba78c195;hpb=4b83c93f19424c4b7c02c8ce25f2a689fc6a7369;p=openvswitch

diff --git a/build-aux/extract-ofp-errors b/build-aux/extract-ofp-errors
index bd4ab9ed..db28af83 100755
--- a/build-aux/extract-ofp-errors
+++ b/build-aux/extract-ofp-errors
@@ -238,6 +238,11 @@ def extract_ofp_errors(filenames):
                               "NX1.2":  ("OF1.2",)}
                 if targets not in target_map:
                     fatal("%s: unknown error domain" % targets)
+                if targets.startswith('NX') and code < 0x100:
+                    fatal("%s: NX domain code cannot be less than 0x100" % dst)
+                if targets.startswith('OF') and code >= 0x100:
+                    fatal("%s: OF domain code cannot be greater than 0x100"
+                          % dst)
                 for target in target_map[targets]:
                     domain[target].setdefault(type_, {})
                     if code in domain[target][type_]: