fix finish_cleanup.py to fix local where the isos will land

This commit is contained in:
manuel 2024-05-12 23:49:58 +00:00
parent 32b6e3c108
commit 68ee6dba6c
1 changed files with 8 additions and 8 deletions

View File

@ -80,14 +80,14 @@ def check_build_type():
'DEB.32opb': ('deb', '32', 'OPB'), 'DEB.32opb': ('deb', '32', 'OPB'),
'DEV.64opb': ('dev', '64', 'OPB'), 'DEV.64opb': ('dev', '64', 'OPB'),
'DEV.32opb': ('dev', '32', 'OPB'), 'DEV.32opb': ('dev', '32', 'OPB'),
'DEBLD64loaded': ('deb', '64', 'LOADED'), 'DEBLD.64loaded': ('deb', '64', 'LOADED'),
'DEVLD64loaded': ('dev', '64', 'LOADED'), 'DEVLD.64loaded': ('dev', '64', 'LOADED'),
'DEBSRV64server': ('deb', '64', 'SERVER'), 'DEBSRV.64server': ('deb', '64', 'SERVER'),
'DEVSRV64server': ('dev', '64', 'SERVER'), 'DEVSRV.64server': ('dev', '64', 'SERVER'),
'DEBMIN64mini': ('deb', '64', 'MINI'), 'DEBMIN.64mini': ('deb', '64', 'MINI'),
'DEVMIN64mini': ('dev', '64', 'MINI'), 'DEVMIN.64mini': ('dev', '64', 'MINI'),
'DEBMIN32mini': ('deb', '32', 'MINI'), 'DEBMIN.32mini': ('deb', '32', 'MINI'),
'DEVMIN32mini': ('dev', '32', 'MINI'), 'DEVMIN.32mini': ('dev', '32', 'MINI'),
} }