[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problem with guile-2.9.1-prerelease
From: |
David Kastrup |
Subject: |
Re: Problem with guile-2.9.1-prerelease |
Date: |
Thu, 11 Oct 2018 21:54:40 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Thomas Morley <address@hidden> writes:
> Am Do., 11. Okt. 2018 um 20:57 Uhr schrieb David Kastrup <address@hidden>:
>>
>> Could you reinstate the regtest and try this untested patch? Not
>> necessarily in that order since, well, the patch might well not even
>> compile. Or work correctly.
>
> Will do, though I'll first wait for current 'make doc' to finish,
> (which may end successful or with another error, ofcourse). This may
> take some long time, because I do a one-processor run on my slow
> laptop.
What kind of processor?
--
David Kastrup
- Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Karlin High, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease,
David Kastrup <=
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/12
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/14
- Re: Problem with guile-2.9.1-prerelease, Thomas Morley, 2018/10/14
- Re: Problem with guile-2.9.1-prerelease, Urs Liska, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, Carl Sorensen, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11
- Re: Problem with guile-2.9.1-prerelease, David Kastrup, 2018/10/11