[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix num_processors_ignoring_omp.
|
From: |
Bernhard Voelker |
|
Subject: |
Re: [PATCH] Fix num_processors_ignoring_omp. |
|
Date: |
Tue, 18 Jun 2019 08:31:09 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 |
On 6/10/19 10:18 PM, Bruno Haible wrote:
> 2019-06-10 Bruno Haible <address@hidden>
>
> nproc: Ensure nproc(NPROC_ALL) ≥ nproc(NPROC_CURRENT) with glibc ≥ 2.26.
> Reported by Nikita Ermakov <address@hidden> in
> <https://lists.gnu.org/archive/html/bug-gnulib/2019-06/msg00003.html>.
s/archive\/html/r/
Just a tiny reminder:
the server on 'lists.gnu.org' has a redirection to get shorter URLs.
$ git grep -F 'lists.gnu.org/r/' | wc -l
608
$ git grep -F 'lists.gnu.org/archive/html/' | wc -l
39
See also Jim's commit:
https://git.sv.gnu.org/gitweb/?p=gnulib.git;a=commit;h=2a3dbe99a2a
(which also uses an abbreviation for "git.savannah.gnu.org" BTW).
Have a nice day,
Berny