Home
last modified time | relevance | path

Searched refs:end_line (Results 1 – 2 of 2) sorted by relevance

/system/media/camera/docs/
Dmetadata-generate125 local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"
129 (( end_line++ ))
139 if [[ -z "$end_line" ]]; then
145 if [[ "$start_line" -ge "$end_line" ]]; then
146 echo "Starting delim later than ending delim: $start_line vs $end_line" >& 2
157 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"
/system/extras/simpleperf/scripts/
Dreport_html.py451 def request_lines(self, start_line, end_line): argument
452 self.requested_lines |= set(range(start_line, end_line + 1))
705 end_file_path, end_line = end_source[-1]
706 if start_file_path != end_file_path or start_line > end_line:
709 source_file.request_lines(start_line, end_line)
710 function.source_info = (source_file.file_id, start_line, end_line)