diff --git a/backends/bmv2/run-bmv2-test.py b/backends/bmv2/run-bmv2-test.py index 94ec54d5da..ac6fc2169a 100755 --- a/backends/bmv2/run-bmv2-test.py +++ b/backends/bmv2/run-bmv2-test.py @@ -292,6 +292,7 @@ def process_file(options, argv): args = [binary, "-o", jsonfile] + options.compilerOptions if "p4_14" in options.p4filename or "v1_samples" in options.p4filename: + args.extend(["--excludeFrontendPasses", "DuplicateHierarchicalNameCheck"]) args.extend(["--std", "p4-14"]) args.append(options.p4filename) args.extend(argv)