[discuss-gnuradio] Git checkout error in build_gnuradio script

Hello,

I think the script build_gnuradio has an error when GNURadio 3.7 is in
the
repository.
As the GNURadio 3.7 has no directory gnuradio-core. The below code will
always report error and exit the building.

git clone --progress gnuradio.git - GNU Radio >>$LOGDEV 2>&1
if [ ! -d gnuradio/gnuradio-core -a ! -d gnuradio/gnuradio-runtime ]
then
my_echo “Could not find gnuradio/gnuradio-{core,runtime} after GIT
checkout”
my_echo GIT checkout of Gnu Radio failed!
doexit FETCH-GR-FAIL
fi

It should be corrected, if I am not wrong.

Alex,
Dreams can come true just believe.