gnuradio-aware

diff --git a/scripts/all-builds.py b/scripts/all-builds.py
index cfe226d..e093260 100755 (executable)
--- 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'