From e388c6a9e97ef537c76cc3a3d537358a1f949b92 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 24 Aug 2010 09:16:41 +0200
Subject: [PATCH] qeum32-5 is officially dead
---
scripts/manage-infrastructure.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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 ]
--
2.47.0