diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2015-12-07 20:09:20 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2015-12-07 20:09:20 +0200 |
| commit | 3a309d93b122e1042e56e0643872f31ee0ac0c3c (patch) | |
| tree | b44d3e3856a218d226acc63c9f4d4fa0ed60dbe5 | |
| parent | 9f001b09a80fda2e5929f5defcc75367336053bf (diff) | |
| download | micropython-3a309d93b122e1042e56e0643872f31ee0ac0c3c.tar.gz micropython-3a309d93b122e1042e56e0643872f31ee0ac0c3c.zip | |
unix/main: mp_verbose_flag available only if MICROPY_DEBUG_PRINTERS is true.
Not available for minimal build for example.
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unix/main.c b/unix/main.c index 10de233a33..eb1ff7e89d 100644 --- a/unix/main.c +++ b/unix/main.c @@ -524,8 +524,10 @@ int main(int argc, char **argv) { break; } else if (strcmp(argv[a], "-X") == 0) { a += 1; + #if MICROPY_DEBUG_PRINTERS } else if (strcmp(argv[a], "-v") == 0) { mp_verbose_flag++; + #endif } else if (strncmp(argv[a], "-O", 2) == 0) { if (unichar_isdigit(argv[a][2])) { MP_STATE_VM(mp_optimise_value) = argv[a][2] & 0xf; |