From 3a309d93b122e1042e56e0643872f31ee0ac0c3c Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Mon, 7 Dec 2015 20:09:20 +0200
Subject: unix/main: mp_verbose_flag available only if MICROPY_DEBUG_PRINTERS
 is true.

Not available for minimal build for example.
---
 unix/main.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'unix/main.c')

diff --git a/unix/main.c b/unix/main.c
index 10de233a3..eb1ff7e89 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;
-- 
cgit v1.2.3