From e6042a7c52bbe06e28ad3485cada530a32249f57 Mon Sep 17 00:00:00 2001
From: Scott Lahteine <github@thinkyhead.com>
Date: Mon, 2 Apr 2018 22:26:11 -0500
Subject: [PATCH] Tweak platformio debug_server options

---
 platformio.ini | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/platformio.ini b/platformio.ini
index 227b1ef1be..2ef554daa2 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -153,16 +153,11 @@ monitor_baud   = 250000
 debug_tool     = custom
 debug_server   =
   C:\Program Files (x86)\SEGGER\JLink_V618d\JLinkGDBServerCL.exe
-  -select
-  USB
-  -port
-  2331
-  -device
-  LPC1768
-  -if
-  JTAG
-  -speed
-  auto
+  -select USB
+  -port 2331
+  -device LPC1768
+  -if JTAG
+  -speed auto
   -noir
 
 #