Build-gnuradio updated

I just updated build-gnuradio – after the change to the repo, a check
that the script was doing was failing, due to the change in file
structure
between 3.6 and 3.7. Thanks to Jim Friel for finding this.


Marcus L.
Principal Investigator
Shirleys Bay Radio Astronomy Consortium