From 91a317c31f51027d745b406a557664cf21748195 Mon Sep 17 00:00:00 2001 From: thierry Date: Wed, 25 Mar 2009 16:36:29 +0000 Subject: [PATCH] gnuradio-aware --- scripts/all-builds.py | 2 ++ 1 file changed, 2 insertions(+) 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' -- 2.47.0