From ada3fcef604d0faaf06d295e34caa3a743fd5386 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 13 Dec 2010 09:56:32 +0100
Subject: [PATCH] bye bye wemu32-5

---
 scripts/manage-infrastructure.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ]
 
-- 
2.47.0