Searched refs:EXTRA_PATCH (Results 1 – 1 of 1) sorted by relevance
65 [[ "${#PATCH_COMMIT_HASHES[@]}" == 0 ]] && [[ -z "$EXTRA_PATCH" ]] && \76 p) EXTRA_PATCH=$OPTARG173 if [ -n "$EXTRA_PATCH" ] ; then174 apply_patch "$EXTRA_PATCH"