mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
script codegen: Avoid modifying in-place a generated file.
This commit is contained in:
parent
71fb02953c
commit
0b9ff576e0
5 changed files with 29 additions and 34 deletions
|
@ -76,6 +76,7 @@ def main():
|
|||
('PrototypeList', 'PrototypeList.rs'),
|
||||
('RegisterBindings', 'RegisterBindings.rs'),
|
||||
('InterfaceObjectMap', 'InterfaceObjectMap.rs'),
|
||||
('InterfaceObjectMapData', 'InterfaceObjectMapData.json'),
|
||||
('InterfaceTypes', 'InterfaceTypes.rs'),
|
||||
('InheritTypes', 'InheritTypes.rs'),
|
||||
('Bindings', os.path.join('Bindings', 'mod.rs')),
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue