mister-devel/Distribution_MiSTer
1
0
Fork 0
mirror of https://github.com/MiSTer-devel/Distribution_MiSTer.git synced 2026-05-24 03:03:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Some more info output

Browse Source
This commit is contained in:
José Manuel Barroso Galindo
2022-05-10 22:45:22 +02:00
committed by GitHub
parent b4b18788d9
commit 62de4dca84
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/update_distribution.sh vendored
View File

@@ -8,6 +8,10 @@ update_distribution() {
local PUSH_COMMAND="${2:-}"
fetch_core_urls
echo
echo "CORE_URLs:"
echo ${CORE_URLS}
echo
classify_core_categories
if [[ "${LINUX_GITHUB_REPOSITORY:-}" != "" ]] ; then