From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 24 Aug 2010 07:16:41 +0000 (+0200)
Subject: qeum32-5 is officially dead
X-Git-Tag: foo~79
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;ds=sidebyside;h=e388c6a9e97ef537c76cc3a3d537358a1f949b92;p=infrastructure.git

qeum32-5 is officially dead
---

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 ]