Update options name which have been shorten in the core

See stm32duino/Arduino_Core_STM32#109

Signed-off-by: Frederic.Pillon <[email protected]>

Author: fpistm

STM32/src/dopackage.sh

@@ -250,7 +250,10 @@ updateJsonBoardName()
   local tmp=$IFS
   local lb=`grep -E ".+\.menu\.board_part_num\.[^\.]+=" $1/boards.txt | cut -d'=' -f2`
   if [ "$lb" == "" ]; then
-    lb=`grep "\.name" $1/boards.txt | cut -d'=' -f2`
+    lb=`grep -E ".+\.menu\.pnum\.[^\.]+=" $1/boards.txt | cut -d'=' -f2`
+    if [ "$lb" == "" ]; then
+      lb=`grep "\.name" $1/boards.txt | cut -d'=' -f2`
+    fi
   fi
 
   IFS=$'\n'