From 8114501b7b956ee4a98fa8599c7efee62fc19206 Mon Sep 17 00:00:00 2001
From: Alastair Reid
Date: Mon, 23 Jul 2018 17:32:23 +0100
Subject: RTS: make g_cycle_count public

This allows debug messages to include the current cycle count
which can be useful for debugging.
---
 lib/rts.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/rts.c')

diff --git a/lib/rts.c b/lib/rts.c
index 97aad8a4..729e2a8b 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -7,7 +7,7 @@
 #include"elf.h"
 
 static uint64_t g_elf_entry;
-static uint64_t g_cycle_count = 0;
+uint64_t g_cycle_count = 0;
 static uint64_t g_cycle_limit;
 
 void sail_match_failure(sail_string msg)
-- 
cgit v1.2.3