From: thierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Date: Wed, 25 Mar 2009 16:36:29 +0000 (+0000)
Subject: gnuradio-aware
X-Git-Tag: foo~246
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=91a317c31f51027d745b406a557664cf21748195;p=infrastructure.git

gnuradio-aware
---

diff --git a/scripts/all-builds.py b/scripts/all-builds.py
index cfe226d..e093260 100755
--- a/scripts/all-builds.py
+++ b/scripts/all-builds.py
@@ -33,6 +33,7 @@ def shortname (name):
     if name == 'pl':          return 'pl'
     if name == 'centos5':     return 'c5'
     if name == 'c5':          return 'c5'
+    if name=='gnuradio':      return name
     if name[0] == 'f':        return name
     return 'xx'
 
@@ -43,6 +44,7 @@ def longname (name):
     if name == 'pl':          return 'planetlab'
     if name == 'centos5':     return 'centos5'
     if name == 'c5':          return 'centos5'
+    if name=='gnuradio':      return name
     if name[0] == 'f':        return name
     return 'xx'