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, 11 Apr 2024 20:30:26 +0000 (22:30 +0200)
commitca49380e6518374765ecf539ba38c762b389521f
tree6e0d12c10cc6e8620ebfae23313a50927045a87e
parent7e3c05d6be11a5c23507bc69b4fcac83d41a47b6
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