qeum32-5 is officially dead

[infrastructure.git] / scripts / manage-infrastructure.py

diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infrastructure.py
index bf11a8e..3312d92 100755 (executable)
--- 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 ]