From ef6027e7181fc1147432ebc2f77370f15599569c Mon Sep 17 00:00:00 2001
From: edoapra <edoardo.apra@gmail.com>
Date: Thu, 23 Mar 2023 18:21:55 -0700
Subject: [PATCH] real cpu_time code used when USE_NO_WALLTIME is set

---
 src/util/GNUmakefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/util/GNUmakefile b/src/util/GNUmakefile
index db17f3900f..fd12e76ff0 100644
--- a/src/util/GNUmakefile
+++ b/src/util/GNUmakefile
@@ -335,6 +335,10 @@ ifdef USE_NONBLOCKING_BCAST
   LIB_DEFINES += -DUSE_IBCAST
 endif
 
+ifdef USE_NO_WALLTIME
+ LIB_DEFINES += -DNO_WALLTIME
+endif
+
 include ../config/makelib.h