Lines Matching refs:src_file
30 src_file="$2"
42 if ! [[ $src_file == $src_file_prefix* ]]; then
43 echo "$src_file_prefix is not a valid prefix of $src_file" >&2
47 if ! [[ -f $src_file ]]; then
48 echo "Source file $src_file does not exist." >&2
53 src_file="${src_file#$src_file_prefix}"
55 patch_file_src=$(grep --files-with-matches -R "diff --git a/$src_file" "$ANDROID_PATCHES_DIR")
57 echo "Error: Could not find a corresponding .patch file for $src_file" >&2
75 if [[ $src_file != $src_file_check ]]; then
76 echo "Check-fail: $src_file was not same as found in patch file ($src_file_check)" >&2
