From 63c7413fce5ec51aadf76e458d87d302b883cf46 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Tue, 21 Jan 2020 17:08:08 -0500
Subject: [PATCH] Added HRT compiler option

---
 Makefile.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.config b/Makefile.config
index 079ca31a..1c180719 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -8,6 +8,7 @@
 
 CYC_PROFILING ?= 
 #CYC_PROFILING ?= -g -pg
+#CYC_PROFILING ?= -DCYC_HIGH_RES_TIMERS
 
 CYC_GCC_OPT_FLAGS ?= -O2
 #CYC_GCC_OPT_FLAGS ?= -g