From ee73b30c9c9a5d9cecb272a49d9d0dc05b6713d7 Mon Sep 17 00:00:00 2001
From: jaortega <jaortega>
Date: Wed, 3 Jan 2001 00:11:03 +0000
Subject: (mix_vmrun) added timing statitics printing

---
 mixutils/mixvm.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mixutils/mixvm.c b/mixutils/mixvm.c
index 207eca8..edf7ac5 100644
--- a/mixutils/mixvm.c
+++ b/mixutils/mixvm.c
@@ -135,6 +135,7 @@ mix_vmrun (const gchar *code_file, gboolean dump)
     return;
   }
   mix_vm_run (vm);
+  printf (_("** Execution time: %ld\n"), mix_vm_get_uptime (vm));
   if (dump) {
     mix_dump_context_t *dc = mix_dump_context_new (MIX_DUMP_DEF_CHANNEL,
 						   0, 0,
-- 
cgit v1.2.3