Lines Matching refs:file
30 -l ERROR_LOG Write error log to file (default: no error log is generated).
247 while read -r file; do
257 check_individual_file "$base_ref" "$past_ref" "$file" &
300 local -r file="$3"
302 local -r base_header="$(get_header_tree "$base_ref")/${file}"
303 local -r past_header="$(get_header_tree "$past_ref")/${file}"
308 "$file" "$past_ref" "$base_ref" \
313 compare_abi "$file" "$base_header" "$past_header" "$base_ref" "$past_ref"
318 local -r file="$1"
323 local -r log="${TMP_DIR}/log/${file}.log"
324 local -r error_log="${TMP_DIR}/log/${file}.error"
331 "$file" "$base_ref")
342 "$file" "$past_ref")
357 "$file" "$past_ref" "$base_ref"
379 "$file" "$past_ref" "$base_ref")
384 … printf "\n%s did not change between %s and %s...\n" "$file" "$past_ref" "${base_ref:-dirty tree}"