From 2138479822d24269e564afd041536a87b57fed7f Mon Sep 17 00:00:00 2001
From: "Frederic.Pillon" <frederic.pillon@st.com>
Date: Thu, 17 Aug 2017 15:18:17 +0200
Subject: [PATCH] Update pin name formatting. PXn -> PX_n

Requested by:
https://github.com/stm32duino/Arduino_Core_STM32/issues/81

Signed-off-by: Frederic.Pillon <frederic.pillon@st.com>
---
 src/genpinmap/genpinmap_arduino.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/genpinmap/genpinmap_arduino.py b/src/genpinmap/genpinmap_arduino.py
index 39330a1f7..f6aa09f9d 100644
--- a/src/genpinmap/genpinmap_arduino.py
+++ b/src/genpinmap/genpinmap_arduino.py
@@ -561,7 +561,7 @@ def sort_my_lists():
 for s in itemlist:
     m = re.match(pinregex, s.attributes['Name'].value)
     if m:
-        pin = m.group(0) # pin formatted P<port><number>: PFO
+        pin = m.group(0)[:2] + '_' + m.group(0)[2:] # pin formatted P<port>_<number>: PF_O
         name = s.attributes['Name'].value.strip()   # full name: "PF0 / OSC_IN"
         if s.attributes['Type'].value == "I/O":
             store_pin(pin, name)