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 | 69af1256d8e122ada66328ea3ff7fd41931ee0be (patch) | |
tree | 705b68cf7a338591e34e92c7b40a458119cae8a3 /mixutils/mixvm.c | |
parent | 244923c8349b63ca2d81ace6bce46744023cc20b (diff) | |
download | mdk-69af1256d8e122ada66328ea3ff7fd41931ee0be.tar.gz mdk-69af1256d8e122ada66328ea3ff7fd41931ee0be.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); -} |