Includes two new options: -ut <UHD-git-tag> and -gt <GnuRadio-git-tag>
Which arranges to build particular GIT tags, rather than whatever is at HEAD.
-- Marcus Leech Principal Investigator Shirleys Bay Radio Astronomy Consortium http://www.sbrac.org _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
