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, 9 Jun 2023 19:37:27 +0000 (21:37 +0200)
commit996ae4845054edfdc1c1f00ccc3235cdace5a8c4
tree54b00a0993952a05ccfd7199f9836bf1407d7788
parentbfc9b6877d2b5fcc5e0790b58259dabf243ae404
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