unix/main: mp_verbose_flag available only if MICROPY_DEBUG_PRINTERS is true.

Not available for minimal build for example.
This commit is contained in:
Paul Sokolovsky 2015-12-07 20:09:20 +02:00
parent 9f001b09a8
commit 3a309d93b1
1 changed files with 2 additions and 0 deletions

View File

@ -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;