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