diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh index ae9b51ebe..90018fdb6 100755 --- a/.github/update_distribution.sh +++ b/.github/update_distribution.sh @@ -794,9 +794,6 @@ files_with_no_date() { local FOLDER="${1}" pushd "${FOLDER}" > /dev/null 2>&1 for file in *; do - if [[ "${file}" == "SG-1000.mgl" ]] ; then - continue - fi if ! [[ "${file}" =~ ^.+_([0-9]{8})(\..+)?$ ]] ; then echo "${file}" fi