summaryrefslogtreecommitdiff
path: root/tools/verification
diff options
context:
space:
mode:
authorDaniel Bristot de Oliveira <bristot@kernel.org>2022-08-23 18:20:28 +0300
committerSteven Rostedt (Google) <rostedt@goodmis.org>2022-10-20 23:02:45 +0300
commit21a1994b6492b12e55dbf39d15271430ef6839f0 (patch)
tree6e29a1db9ee2a0ac4ce05ce0c800844f3a840dde /tools/verification
parent9abf2313adc1ca1b6180c508c25f22f9395cc780 (diff)
downloadlinux-21a1994b6492b12e55dbf39d15271430ef6839f0.tar.xz
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/202208210332.gtHXje45-lkp@intel.com Link: https://lore.kernel.org/all/202208210358.6HH3OrVs-lkp@intel.com Link: https://lkml.kernel.org/r/ffbb92010f643307766c9307fd42f416e5b85fa0.1661266564.git.bristot@kernel.org Cc: Steven Rostedt <rostedt@goodmis.org> Fixes: e3c9fc78f096 ("tools/rv: Add dot2c") Reported-by: kernel test robot <lkp@intel.com> Signed-off-by: Daniel Bristot de Oliveira <bristot@kernel.org> Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'tools/verification')
-rw-r--r--tools/verification/dot2/dot2c.py2
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):