allow disabling of p4 input count check (p4lang#4446)

komaljai · Apr 3, 2024 · 24b0cd8 · 24b0cd8
1 parent 7da595b
commit 24b0cd8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/driver/p4c_src/main.py b/tools/driver/p4c_src/main.py
@@ -631,7 +631,8 @@ def main():
         string_to_pass_as___source_file = opts.json_source
 
     if P4_input_or_inputs_specified:
-        assert 1 == len(opts.P4_source_files)
+        if checkInput:
+            assert 1 == len(opts.P4_source_files)
         assert not JSON_input_specified
         string_to_pass_as___source_file = opts.P4_source_files[0]