From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 13 Dec 2010 08:56:32 +0000 (+0100)
Subject: bye bye wemu32-5
X-Git-Tag: foo~39
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=ada3fcef604d0faaf06d295e34caa3a743fd5386;p=infrastructure.git

bye bye wemu32-5
---

diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infrastructure.py
index 4d8c4be..3312d92 100755
--- 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 ]