diff options
| author | Daniel Bristot de Oliveira <[email protected]> | 2022-08-23 17:20:28 +0200 |
|---|---|---|
| committer | Steven Rostedt (Google) <[email protected]> | 2022-10-20 16:02:45 -0400 |
| commit | 21a1994b6492b12e55dbf39d15271430ef6839f0 (patch) | |
| tree | 6e29a1db9ee2a0ac4ce05ce0c800844f3a840dde | |
| parent | 9abf2313adc1ca1b6180c508c25f22f9395cc780 (diff) | |
rv/dot2c: Make automaton definition static
Monitor's automata definition is only used locally, so make dot2c generate
a static definition.
Link: https://lore.kernel.org/all/[email protected]
Link: https://lore.kernel.org/all/[email protected]
Link: https://lkml.kernel.org/r/ffbb92010f643307766c9307fd42f416e5b85fa0.1661266564.git.bristot@kernel.org
Cc: Steven Rostedt <[email protected]>
Fixes: e3c9fc78f096 ("tools/rv: Add dot2c")
Reported-by: kernel test robot <[email protected]>
Signed-off-by: Daniel Bristot de Oliveira <[email protected]>
Signed-off-by: Steven Rostedt (Google) <[email protected]>
| -rw-r--r-- | tools/verification/dot2/dot2c.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/verification/dot2/dot2c.py b/tools/verification/dot2/dot2c.py index fa73353f7e56..be8a364a469b 100644 --- a/tools/verification/dot2/dot2c.py +++ b/tools/verification/dot2/dot2c.py @@ -111,7 +111,7 @@ class Dot2c(Automata): def format_aut_init_header(self): buff = [] - buff.append("struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def)) + buff.append("static struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def)) return buff def __get_string_vector_per_line_content(self, buff): |