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>
Thu, 4 Jul 2024 15:15:46 +0000 (17:15 +0200)
commit82fdb8f5dcae879e8267c4c2044a796b6cbba1bc
tree9037a8210f64518aa764dc69cddc9096b7b272c6
parent17f368455144943d39280e05ce0092ce47da3e8c
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