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>
Fri, 30 Aug 2024 09:13:51 +0000 (11:13 +0200)
commitac8c69476d94cab5cc5c8ae2f0c52fc16c5f5ed2
treeb12b60c2c2d3cc8216d3aa3c8fff030c5045f234
parent9b3b984b532855fc74b36883d785755e93146fa6
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