hi I've two suggestions for improving build-gnuradio.sh : 1. prefix option to install into /usr instead of /usr/local/ 2. install orc too ?
_______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
