tree dc737e8fb1f25b064f82491a6806f4ce613b5f69
parent 1cea5c3c7958409245c43ce2df6e8e09795fe6c3
author Martin Lucina <martin@lucina.net> 1608300664 +0000
committer Nico Huber <nico.h@gmx.de> 1672934824 +0000

Makefile: Add a DISABLE_CLOCK_GETTIME option

Allows to force-disable the use of clock_gettime() at build time,
falling back to busy-looping for udelay. This is useful when building
for systems which are known to lie about the resolution of
clock_gettime(), such as Linux guests running under the Muen Separation
Kernel.

Change-Id: I645a5d3f29ffdbd24a58127ab73d7d8755304f45
Signed-off-by: Martin Lucina <martin@lucina.net>
Original-Reviewed-on: https://review.coreboot.org/c/flashrom/+/48796
Original-Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/flashrom-stable/+/71335
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>