Searched refs:ANDROID_PATCHES_DIR (Results 1 – 1 of 1) sorted by relevance
27 ANDROID_PATCHES_DIR="$DIR/src/patches/android"37 if ! [[ -d $ANDROID_PATCHES_DIR ]]; then38 echo "FATAL: Android patch directory $ANDROID_PATCHES_DIR does not exist." >&255 patch_file_src=$(grep --files-with-matches -R "diff --git a/$src_file" "$ANDROID_PATCHES_DIR")