32-5 back in business
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 9 Dec 2010 18:39:42 +0000 (19:39 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 9 Dec 2010 18:39:42 +0000 (19:39 +0100)
scripts/manage-infrastructure.py

index 3312d92..4d8c4be 100755 (executable)
@@ -15,7 +15,7 @@ class BuildBoxes:
     # qemu32-5 is officially dead
     qemu_boxes = \
         [ "qemu64-%d"%i for i in range (1,4) ] + \
-        [ "qemu32-%d"%i for i in range (1,5) ]
+        [ "qemu32-%d"%i for i in range (1,6) ]
     test_boxes = plc_boxes + qemu_boxes
     testmaster_boxes = [ testmaster ]