From 555cdc7641ae90f7eecbe71a05de7ebea1ef7268 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Wed, 15 Sep 2021 19:25:32 +0200
Subject: [PATCH] Update update_distribution.sh

---
 .github/update_distribution.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh
index 18ba7bf61..c8f486f69 100755
--- a/.github/update_distribution.sh
+++ b/.github/update_distribution.sh
@@ -285,7 +285,7 @@ install_atari800() {
         "_Computer") NAME="Atari800" ;;
         "_Console") NAME="Atari5200" ;;
         *)
-            echo "Could not install Atari 800 core."
+            echo "Could not install Atari 800 core. (CATEGORY=${CATEGORY})"
             exit 1
             ;;
     esac