git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 906caf9)
oops
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 25 Mar 2009 15:07:09 +0000 (15:07 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 25 Mar 2009 15:07:09 +0000 (15:07 +0000)
scripts/all-builds.py patch | blob | history

diff --git a/scripts/all-builds.py b/scripts/all-builds.py
index 6edebe3..cfe226d 100755 (executable)
--- a/scripts/all-builds.py
+++ b/scripts/all-builds.py
@@ -32,7 +32,7 @@ def shortname (name):
     if name == 'planetlab':   return 'pl'
     if name == 'pl':          return 'pl'
     if name == 'centos5':     return 'c5'
-    if name == 'c5':          return <'c5'
+    if name == 'c5':          return 'c5'
     if name[0] == 'f':        return name
     return 'xx'
 
infrastructure