diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-07 23:34:55 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-07 23:34:55 +0000 |
commit | 8cecf0ae927eae1dfb5ab2eef78f55e8e162a7f9 (patch) | |
tree | 8c150bf6c112d1033342556cb520fb34cf7e220a /mixutils/mixvm.c | |
parent | fd39c4abe462ec9e749a1a65370cd7a1c11ae705 (diff) | |
download | mdk-8cecf0ae927eae1dfb5ab2eef78f55e8e162a7f9.tar.gz mdk-8cecf0ae927eae1dfb5ab2eef78f55e8e162a7f9.tar.bz2 |
use of devdir command
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); -} |