Shrink size of bx_panic when CONFIG_DEBUG_LEVEL is off.

When CONFIG_DEBUG_LEVEL the debug message wont be shown, so don't
    bother calling bvprintf.

1 files changed, 6 insertions, 4 deletions

diff --git a/src/output.c b/src/output.c
index d9671ac..ff190f8 100644
--- a/src/output.c
+++ b/src/output.c
@@ -225,10 +225,12 @@ bvprintf(u16 action, const char *fmt, va_list args)
 void
 BX_PANIC(const char *fmt, ...)
 {
-    va_list args;
-    va_start(args, fmt);
-    bvprintf(0, fmt, args);
-    va_end(args);
+    if (CONFIG_DEBUG_LEVEL) {
+        va_list args;
+        va_start(args, fmt);
+        bvprintf(0, fmt, args);
+        va_end(args);
+    }
 
     // XXX - use PANIC PORT.
     irq_disable();