Searched refs:PATCH_FILE (Results 1 – 1 of 1) sorted by relevance
160 PATCH_FILE=$PATCH_PLATFORM_DIR/headers.patch161 if [ -f "$PATCH_FILE" ]; then162 cd $NEW_PLATFORM_DIR && patch -p1 -s < $PATCH_FILE