From 32b6e3c108beed606714a658d8018ead01ebb433 Mon Sep 17 00:00:00 2001
From: manuel <manuelsilvarosa@gmail.com>
Date: Sun, 12 May 2024 23:30:57 +0000
Subject: [PATCH] fix ded32mini build error

---
 python_modules/build_iso.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python_modules/build_iso.py b/python_modules/build_iso.py
index 08b5676e..965c3185 100644
--- a/python_modules/build_iso.py
+++ b/python_modules/build_iso.py
@@ -424,7 +424,7 @@ class Decisions:
         """ Arguments for the Mini """
         build_type_mapping = {
             'b-deb64': ("debmin", "_64"),
-            'b-deb32': ("debmin", "_32 "),
+            'b-deb32': ("debmin", "_32"),
             'b-dev64': ("devmin", "_64"),
             'b-dev32': ("devmin", "_32"),
         }