diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build-command-templates | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build-command-templates b/scripts/build-command-templates index 4fcdb8ade..dbf4ad9c5 100755 --- a/scripts/build-command-templates +++ b/scripts/build-command-templates @@ -295,4 +295,6 @@ root = xml.getroot() nodes = root.iterfind("*") for n in nodes: + if n.tag == "syntaxVersion": + continue process_node(n, [output_dir]) |