From d3fbe31d92576bc91d0876cf48c26028af7fb3f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Xose=20P=C3=A9rez?= <xose.perez@gmail.com>
Date: Thu, 1 Mar 2018 06:35:27 +0100
Subject: [PATCH] Disable floating point support when building using PIO

---
 code/extra_scripts.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/code/extra_scripts.py b/code/extra_scripts.py
index a8f8ae46..36f870af 100644
--- a/code/extra_scripts.py
+++ b/code/extra_scripts.py
@@ -37,7 +37,6 @@ def clr(color, text):
 def remove_float_support():
 
     flags = " ".join(env['LINKFLAGS'])
-    print flags
     flags = flags.replace("-u _printf_float", "")
     flags = flags.replace("-u _scanf_float", "")
     newflags = flags.split()