Searched refs:header_to_regex (Results 1 – 1 of 1) sorted by relevance
35 function header_to_regex() { function49 HEADER_REGEX=$(header_to_regex "${HEADER}")