diff options
| author | jaortega <jaortega> | 2001-01-03 00:30:26 +0000 |
|---|---|---|
| committer | jaortega <jaortega> | 2001-01-03 00:30:26 +0000 |
| commit | 0df1451c1924909d0162b19e70f242a1cab7f88b (patch) | |
| tree | 6aa7cb528bedabfb81a623ad29c3a2a346aa2860 | |
| parent | ee73b30c9c9a5d9cecb272a49d9d0dc05b6713d7 (diff) | |
| download | mdk-0df1451c1924909d0162b19e70f242a1cab7f88b.tar.gz mdk-0df1451c1924909d0162b19e70f242a1cab7f88b.tar.bz2 | |
(mix_vm_exec_next) halted status correctly reported
| -rw-r--r-- | mixlib/mix_vm.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mixlib/mix_vm.c b/mixlib/mix_vm.c index 0055cd5..3745c19 100644 --- a/mixlib/mix_vm.c +++ b/mixlib/mix_vm.c @@ -364,6 +364,7 @@ mix_vm_exec_next (mix_vm_t *vm) return MIX_VM_ERROR; else update_time_ (vm, &ins); + if (is_halted_ (vm)) return MIX_VM_HALT; return bp_is_set_ (vm, get_loc_ (vm)) ? MIX_VM_BREAK : MIX_VM_OK; } |