git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1f41c83)
updated
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 22:46:02 +0000 (00:46 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 22:46:02 +0000 (00:46 +0200)
scripts/manage-infrastructure.py patch | blob | history

diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infrastructure.py
index ffc1af6..c6251d6 100755 (executable)
--- a/scripts/manage-infrastructure.py
+++ b/scripts/manage-infrastructure.py
@@ -9,7 +9,7 @@ class BuildBoxes:
 
     # everything in the onelab.eu domain
     domain = 'pl.sophia.inria.fr'
-    build_boxes = [ "mirror", "liquid", "reed", "velvet", ]
+    build_boxes = [ "devel", "liquid", "reed", "velvet", ]
     plc_boxes = [ "testplc" ]
     testmaster = 'testmaster'
     testmaster_boxes = [ testmaster ]
infrastructure