diff options
Diffstat (limited to 'erts/configure')
-rwxr-xr-x | erts/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/configure b/erts/configure index b334b9e125..e1907b292e 100755 --- a/erts/configure +++ b/erts/configure @@ -21045,7 +21045,7 @@ $as_echo "$erl_cv_mach_clock_get_time_monotonic" >&6; } -case $$erl_monotonic_clock_low_resolution-$erl_monotonic_clock_func in +case $erl_monotonic_clock_low_resolution-$erl_monotonic_clock_func in no-mach_clock_get_time) monotonic_hrtime=yes |