Don't use hrtimers on GNU Hurd
authorSvante Signell <svante.signell@gmail.com>
Tue, 16 Feb 2021 18:37:13 +0000 (19:37 +0100)
committerOndřej Surý <ondrej@debian.org>
Mon, 2 Dec 2024 07:33:26 +0000 (08:33 +0100)
commit842c23391e4eb474348e8c471e34997f4bad00ce
treeeb09cbc22853a029df3be54622b5e275fc186979
parent1f086cac4cbe65c2eb857486bdaec44e56920f95
Don't use hrtimers on GNU Hurd

This patch solves the build error:

    PHP Warning: PHP Startup: Failed to initialize high-resolution timer in
    Unknown on line 0.

Gbp-Pq: Name 0037-Don-t-use-hrtimers-on-GNU-Hurd.patch
ext/standard/hrtime.h