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, 24 Jun 2024 11:16:58 +0000 (13:16 +0200)
commit91e32ec6e28707e47190ad14b66c866a043fe10a
treea79c6b5d3a55ad7c64a19d69cd42894cfd770b7e
parentd60f04281533f5f570837bc65e774e3a05545a1e
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