diff options
Diffstat (limited to 'mixutils/mixvm.c')
-rw-r--r-- | mixutils/mixvm.c | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/mixutils/mixvm.c b/mixutils/mixvm.c index d2d64c3..81b1fa2 100644 --- a/mixutils/mixvm.c +++ b/mixutils/mixvm.c @@ -37,7 +37,7 @@ extern void mix_vmloop (const gchar *code_file, gboolean use_emacs); -static void +extern void mix_vmrun (const gchar *code_file, gboolean dump); enum { @@ -137,24 +137,5 @@ main (int argc, char **argv) } -static void -mix_vmrun (const gchar *code_file, gboolean dump) -{ - mix_vm_t *vm = mix_vm_new (); - if (!mix_vm_load_file (vm, code_file)) { - fprintf (stderr, _("Error loading %s file\n"), code_file); - 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, - MIX_DUMP_ALL_NOMEM); - mix_vm_dump (vm, dc); - mix_dump_context_delete (dc); - } - mix_vm_delete (vm); -} |