[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Discuss-gnuradio] Problem with Gnuradio git?
From: |
Marcus D. Leech |
Subject: |
Re: [Discuss-gnuradio] Problem with Gnuradio git? |
Date: |
Fri, 23 Jun 2017 17:34:17 -0400 |
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 <address@hidden> 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