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>
Tue, 24 Dec 2024 06:20:41 +0000 (07:20 +0100)
commitc3e48a629116c928bff599e05d6f5832e62c605d
tree82c90da7a92da28cc6df08dc42d8c6934e428dc9
parentacbe787d049f0edd3a47907f4f8b78a99ce58e43
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