Re: Problem with guile-2.9.1-prerelease

[Thomas Morley]

Am Do., 11. Okt. 2018 um 21:54 Uhr schrieb David Kastrup <address@hidden>:
>
> 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?

Probably bad wording, I wanted to say I did 'make doc' and not 'make
-j5 CPU_COUNT=5 doc'.
But to answer the question:
~$ cat /proc/cpuinfo
[...]
model name    : Intel(R) Pentium(R) CPU  N3510  @ 1.99GHz
[...]

Cheers,
  Harm