git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: faf8811)
bye bye wemu32-5
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 13 Dec 2010 08:56:32 +0000 (09:56 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 13 Dec 2010 08:56:32 +0000 (09:56 +0100)
scripts/manage-infrastructure.py patch | blob | history

diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infrastructure.py
index 4d8c4be..3312d92 100755 (executable)
--- a/scripts/manage-infrastructure.py
+++ b/scripts/manage-infrastructure.py
@@ -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,6) ]
+        [ "qemu32-%d"%i for i in range (1,5) ]
     test_boxes = plc_boxes + qemu_boxes
     testmaster_boxes = [ testmaster ]
 
infrastructure