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 /mixlib/mix_vm_command.h | |
| parent | fd39c4abe462ec9e749a1a65370cd7a1c11ae705 (diff) | |
| download | mdk-8cecf0ae927eae1dfb5ab2eef78f55e8e162a7f9.tar.gz mdk-8cecf0ae927eae1dfb5ab2eef78f55e8e162a7f9.tar.bz2 | |
use of devdir command
Diffstat (limited to 'mixlib/mix_vm_command.h')
| -rw-r--r-- | mixlib/mix_vm_command.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mixlib/mix_vm_command.h b/mixlib/mix_vm_command.h index 40bb7e8..45e2c8c 100644 --- a/mixlib/mix_vm_command.h +++ b/mixlib/mix_vm_command.h @@ -68,6 +68,7 @@ typedef enum { MIX_CMD_W2D, /* print word in decimal notation */ MIX_CMD_TRACING, /* enable/disable instruction traces */ MIX_CMD_TIMING, /* enable/disable timing statistics */ + MIX_CMD_DEVDIR, /* print/set device directory */ MIX_CMD_INVALID, /* invalid command identifier */ } mix_vm_command_t; |