diff bootstrap.conf @ 32117:5e207c861831

new high resolution timer function * bootstrap.conf: Import gethrxtime from gnulib for profiler. * time-wrappers.h, time-wrappers.c (octave_gettime_ns_wrapper): New function.
author Petter T. <petter.vilhelm@gmail.com>
date Wed, 14 Jun 2023 16:02:37 -0400
parents bce1850f8104
children e6d339b9309d
line wrap: on
line diff
--- a/bootstrap.conf	Mon Jun 12 14:18:08 2023 -0700
+++ b/bootstrap.conf	Wed Jun 14 16:02:37 2023 -0400
@@ -56,6 +56,7 @@
   getopt-gnu
   getrusage
   gettimeofday
+  gethrxtime
   glob
   intprops
   isatty