diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-07 11:27:08 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-08 08:47:33 +0200 |
| commit | 8454159107b70ba023fc2ed90623e30e10703648 (patch) | |
| tree | e71c0e4ad70fa879840329616db77b66935bb88b /rtemsspec/interface.py | |
| parent | interfacedoc: Various improvements (diff) | |
| download | rtems-central-8454159107b70ba023fc2ed90623e30e10703648.tar.bz2 | |
interface: Add "Generated from ..." comments
Diffstat (limited to 'rtemsspec/interface.py')
| -rw-r--r-- | rtemsspec/interface.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rtemsspec/interface.py b/rtemsspec/interface.py index a8a00f80..0d5d25de 100644 --- a/rtemsspec/interface.py +++ b/rtemsspec/interface.py @@ -210,6 +210,7 @@ class Node: self.content.append(f"}} {name};") def _generate(self) -> None: + self.content.add(f"/* Generated from spec:{self.item.uid} */") _NODE_GENERATORS[self.item["interface-type"]](self) def generate(self) -> None: @@ -517,6 +518,7 @@ class _HeaderFile: self._content.add_brief_description(self._item["brief"]) self._content.add_copyrights_and_licenses() self._content.add_automatically_generated_warning() + self._content.add(f"/* Generated from spec:{self._item.uid} */") with self._content.header_guard(self._item["path"]): exp_mapper = _HeaderExpressionMapper(self._item, self.enabled_by_defined) |