Searched refs:PATCH_PLATFORM_DIR (Results 1 – 1 of 1) sorted by relevance
117 PATCH_PLATFORM_DIR=$DEV_NDK_PLATFORM_DIR/android-$API/header-patches118 if [ -d "$PATCH_PLATFORM_DIR" ]; then154 FILES="`cd $PATCH_PLATFORM_DIR && find include -type f | xargs`"157 run cp -a $PATCH_PLATFORM_DIR/$FILE $NEW_PLATFORM_DIR/$FILE160 PATCH_FILE=$PATCH_PLATFORM_DIR/headers.patch