diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/microcode-tool.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tools/microcode-tool.py b/tools/microcode-tool.py index 71c2e91566b..790c27e4598 100755 --- a/tools/microcode-tool.py +++ b/tools/microcode-tool.py @@ -95,9 +95,23 @@ def ParseHeaderFiles(fname_list): name = os.path.splitext(name)[0] data = [] with open(fname) as fd: + license_start = False + license_end = False for line in fd: line = line.rstrip() + if len(line) >= 2: + if line[0] == '/' and line[1] == '*': + license_start = True + continue + if line[0] == '*' and line[1] == '/': + license_end = True + continue + if license_start and not license_end: + # Ignore blank line + if len(line) > 0: + license_text.append(line) + continue # Omit anything after the last comma words = line.split(',')[:-1] data += [word + ',' for word in words] |