On 06/01/2013 03:58 AM, Sylvain Munaut wrote:

Maybe build-gnuradio could check if it's the latest version ? (wget
some online latest version number and compare it)

Cheers,

     Sylvain

Right, and it could say "You might want to upgrade me before proceeding".

I'll think about this, wouldn't be hard to do.




--
Marcus Leech
Principal Investigator
Shirleys Bay Radio Astronomy Consortium
http://www.sbrac.org


_______________________________________________
Discuss-gnuradio mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio

Reply via email to