That change has been made to the build-gnuradio git repo

Sent from my iPhone

> On Jun 23, 2017, at 5:29 PM, John Ackermann N8UR <j...@febo.com> wrote:
> 
> For at least the last couple of days, the build-gnuradio script has been 
> failing almost immediately after it starts fetching, claiming that it "could 
> not find gnuradio/gnuradio-[core,runtime] after GIT checkout."
> 
> I changed the URL in the script from git.gnuradio.org to github.org and that 
> worked fine.
> 
> Has something in the gnuradio git changed that requires build-gnuradio to be 
> patched, or is this a temporary problem?
> 
> Thanks,
> John
> 
> _______________________________________________
> Discuss-gnuradio mailing list
> Discuss-gnuradio@gnu.org
> https://lists.gnu.org/mailman/listinfo/discuss-gnuradio


_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio

Reply via email to