Re: [Discuss-gnuradio] Problem with Gnuradio git?

[John Ackermann N8UR]

Should have done this first, but I went to git.gnuradio.org with my 
browser and got a "bad certificate" error.  The cert is valid for a 
number of gnuradio.org sites, but not git.gnuradio.org.

John
----

On 06/23/2017 05:29 PM, John Ackermann N8UR 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
> address@hidden
> https://lists.gnu.org/mailman/listinfo/discuss-gnuradio