aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorEric Kunze <eric.kunze@arm.com>2024-03-19 16:02:07 -0700
committerEric Kunze <eric.kunze@arm.com>2024-04-12 15:26:20 -0700
commitce015e7d72f522ac310404f29a0bc467f9f69c58 (patch)
treec1d949c975276b67ec9a5d9fa546f0f74a226eb4 /tools
parent4f95cd883bd8ec12f6f4c0450425080049a0e463 (diff)
downloadspecification-ce015e7d72f522ac310404f29a0bc467f9f69c58.tar.gz
Adjustments to profile changes
Use "or" when listing an operator/data type that can be implemented in multiple profiles. Modify variable_read/variable_write to note that both the base profile and extension must be supported (for example BI and EXT-VARIABLE) Signed-off-by: Eric Kunze <eric.kunze@arm.com> Change-Id: Iae15fb1032a4e03da73eda0f3a15e4c0965de052
Diffstat (limited to 'tools')
-rwxr-xr-xtools/genspec.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/genspec.py b/tools/genspec.py
index 3865486..bae11cc 100755
--- a/tools/genspec.py
+++ b/tools/genspec.py
@@ -94,7 +94,7 @@ class TOSASpecAsciidocGenerator:
file.write(header)
file.write("\n\n")
for tysup in sorted(op.typesupports, key=cmp_to_key(compare_profiles)):
- profile = ", ".join(tysup.profiles) if tysup.profiles else "Any"
+ profile = " or ".join(tysup.profiles) if tysup.profiles else "Any"
entry = f"|{profile}|{tysup.mode}"
for ty in op.types:
entry += f"|{tysup.tymap[ty]}"