From 6d866dab6bf83a0fb67b7f2d9c8a271e893c0016 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 9 Sep 2023 10:06:33 +0700
Subject: [PATCH] Updating command "time" to report wall time.

---
 src/misc/extra/extraUtilUtil.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/misc/extra/extraUtilUtil.c b/src/misc/extra/extraUtilUtil.c
index 81e4d3987..9029ddd03 100644
--- a/src/misc/extra/extraUtilUtil.c
+++ b/src/misc/extra/extraUtilUtil.c
@@ -394,9 +394,17 @@ ABC_NAMESPACE_IMPL_START
 
 double Extra_CpuTimeDouble()
 {
+/*    
     struct rusage ru;
     getrusage(RUSAGE_SELF, &ru);
     return (double)ru.ru_utime.tv_sec + (double)ru.ru_utime.tv_usec / 1000000; 
+*/
+  struct timespec ts;
+  if ( clock_gettime(CLOCK_MONOTONIC, &ts) < 0 ) 
+      return (double)-1;
+  double res = ((double) ts.tv_sec);
+  res += ((double) ts.tv_nsec) / 1000000000;
+  return res;    
 }
 #endif