Merge pull request #1681 from lggomez/lggomez/fetch_core_skip

fetch: Allow skipping undefined URL fetches un multi-core fetch rules
This commit is contained in:
Ömercan Kömür 2022-10-02 12:50:05 +03:00 committed by GitHub
commit b3d05f3a06
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 1 deletions

View File

@ -54,7 +54,11 @@ libretro_fetch() {
eval "git_url=\$libretro_${1}_git_url"
if [ -z "$git_url" ]; then
echo "libretro_fetch:No URL set to fetch $1 via git."
exit 1
if [[ "$SKIP_UNKNOWN_URL_FETCH" -ne 1 ]]; then
exit 1
else
echo "libretro_fetch:Skipping core $1"
fi
fi
eval "git_submodules=\$libretro_${1}_git_submodules"