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
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
