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