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