From 45f0b6ab6300e75a17f6427ec45d812e072a9522 Mon Sep 17 00:00:00 2001
From: Vincent Duvert <vincent@duvert.net>
Date: Wed, 23 Dec 2020 13:41:56 +0100
Subject: [PATCH] cc3200: Fix debug build.

* Fix a typo in the Makefile that prevented the debug build to be actually
  enabled when BTYPE=debug is used.

* Add a missing header in modmachine.c that is used when a debug build is
  created.
---
 ports/cc3200/application.mk    | 2 +-
 ports/cc3200/mods/modmachine.c | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ports/cc3200/application.mk b/ports/cc3200/application.mk
index b216ca16dd..2125274ae1 100644
--- a/ports/cc3200/application.mk
+++ b/ports/cc3200/application.mk
@@ -182,7 +182,7 @@ ifeq ($(BTYPE), release)
 CFLAGS += -DNDEBUG
 else
 ifeq ($(BTYPE), debug)
-CFLAGS += -DNDEBUG
+CFLAGS += -DDEBUG
 else
 $(error Invalid BTYPE specified)
 endif
diff --git a/ports/cc3200/mods/modmachine.c b/ports/cc3200/mods/modmachine.c
index ddecd47f2b..89800810c7 100644
--- a/ports/cc3200/mods/modmachine.c
+++ b/ports/cc3200/mods/modmachine.c
@@ -26,6 +26,7 @@
  */
 
 #include <stdint.h>
+#include <stdio.h>
 
 #include "py/runtime.h"
 #include "py/mphal.h"