diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/make_release.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/make_release.py b/util/make_release.py index fafea133c..891f57cc5 100755 --- a/util/make_release.py +++ b/util/make_release.py @@ -200,6 +200,7 @@ remove_sources(r'.*nativetrace.*', 'src/cpu') remove_lines(r'.*X86.*', None, 'src/arch/isa_specific.hh') remove_lines(r'.*X86.*', None, 'src/base/traceflags.py') +remove_lines(r'.*X86.*', None, 'AUTHORS') remove_lines(r'.*X86.*', None, 'src/base/loader/object_file.hh') remove_lines(r'.*_X86_.*', '.*else.*', 'src/base/loader/elf_object.cc') remove_lines(r'.*X86_ISA.*', r'^.el.*','src/sim/process.cc') |