From ec6ae7957e11653f5cb884e2aa832e6d85a8d98e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?= Date: Mon, 14 Nov 2022 15:35:01 +0100 Subject: [PATCH] Exception not needed anymore --- .github/update_distribution.sh | 3 --- 1 file changed, 3 deletions(-) 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