From e388c6a9e97ef537c76cc3a3d537358a1f949b92 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Tue, 24 Aug 2010 09:16:41 +0200 Subject: [PATCH] qeum32-5 is officially dead --- scripts/manage-infrastructure.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infrastructure.py index bf11a8e..3312d92 100755 --- a/scripts/manage-infrastructure.py +++ b/scripts/manage-infrastructure.py @@ -12,9 +12,10 @@ class BuildBoxes: testmaster = 'testmaster' build_boxes = [ "mirror", "liquid", "reed", "velvet", ] plc_boxes = [ "testplc" ] + # qemu32-5 is officially dead qemu_boxes = \ [ "qemu64-%d"%i for i in range (1,4) ] + \ - [ "qemu32-%d"%i for i in range (1,6) ] + [ "qemu32-%d"%i for i in range (1,5) ] test_boxes = plc_boxes + qemu_boxes testmaster_boxes = [ testmaster ] -- 2.43.0