From b4eb47f67ee97075f3f1b1f01fbb9cd5d33dbdb7 Mon Sep 17 00:00:00 2001 From: Dylan Yudaken Date: Fri, 15 Jan 2021 14:07:23 +0000 Subject: [PATCH] Only enable PROF_SPIN in DEBUG --- includes/rts/Config.h | 2 ++ testsuite/tests/rts/InternalCounters.stdout | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/includes/rts/Config.h b/includes/rts/Config.h index be264592ff..b12cd1806b 100644 --- a/includes/rts/Config.h +++ b/includes/rts/Config.h @@ -49,4 +49,6 @@ /* Profile spin locks */ +#if defined(DEBUG) #define PROF_SPIN +#endif diff --git a/testsuite/tests/rts/InternalCounters.stdout b/testsuite/tests/rts/InternalCounters.stdout index d764d7bc19..54bfdfb9c2 100644 --- a/testsuite/tests/rts/InternalCounters.stdout +++ b/testsuite/tests/rts/InternalCounters.stdout @@ -1 +1 @@ -Internal Counters: \ No newline at end of file +Internal Counters require the RTS to be built with PROF_SPIN \ No newline at end of file -- GitLab