Searched refs:extra_strip_sections (Results 1 – 1 of 1) sorted by relevance
21 def runstrip(file, elftype, strip, extra_strip_sections=''): argument53 if extra_strip_sections != '':54 for section in extra_strip_sections.split():