From 91d8c31f7b0fc93c937dc63b34cd243a745561f9 Mon Sep 17 00:00:00 2001
From: David Sidrane <david_s5@nscdg.com>
Date: Thu, 6 Dec 2018 12:19:32 -0800
Subject: [PATCH] Custom board naming, removed need for
 tools/nuttx_defconf_tool.sh

---
 .../nuttx/NuttX/tools/nuttx_defconf_tool.sh   | 50 -------------------
 1 file changed, 50 deletions(-)
 delete mode 100755 platforms/nuttx/NuttX/tools/nuttx_defconf_tool.sh

diff --git a/platforms/nuttx/NuttX/tools/nuttx_defconf_tool.sh b/platforms/nuttx/NuttX/tools/nuttx_defconf_tool.sh
deleted file mode 100755
index b739dd07f8..0000000000
--- a/platforms/nuttx/NuttX/tools/nuttx_defconf_tool.sh
+++ /dev/null
@@ -1,50 +0,0 @@
-#! /bin/bash
-
-FIXDATE=n
-
-if [ $# -eq 0 ]
-  then
-    echo "Usage: $0 <path to defconfig>"
-    exit 1
-fi
-configsdir=nuttx-configs
-defconf=$1
-configsrc=$configsdir${defconf##*$configsdir}
-
-if [ ! -f  $defconf ]
-  then
-    echo "$defconf does not exist"
-    exit 2
-fi
-
-
-lastconf=$defconf.last
-chunk=$defconf.chunk
-
-echo $configsrc
-git show HEAD:$configsrc > $lastconf
-
-lead='^# Board Selection$'
-tail='^# Common Board Options$'
-
-cat $lastconf | sed -n "/$lead/,/$tail/p" | sed '1d;$d' > $chunk
-
-echo "Fix up Board Selection"
-sed -i -e "/$lead/,/$tail/{ /$lead/{p; r $chunk
-        }; /$tail/p; d }" $defconf
-
-if [ "$FIXDATE" == "y" ] ; then
-  if grep --quiet CONFIG_START_YEAR $lastconf ; then
-    lead='^CONFIG_START_YEAR='
-    tail='^CONFIG_START_DAY='
-    cat $lastconf | sed -n "/$lead/,/$tail/p" > $chunk
-    lead='^# Clocks and Timers$'
-    echo "Fix up Clocks and Timers"
-    sed -i -e "/$lead/{N;{r $chunk
-      }}" $defconf
-  else
-  echo not found
-  fi
-fi
-rm $lastconf
-rm $chunk
\ No newline at end of file