2019-08-10 17:57:26 +02:00
|
|
|
#!/usr/bin/env bash
|
2020-01-19 18:03:11 +01:00
|
|
|
# tools/refresh.sh
|
2014-08-30 01:21:24 +02:00
|
|
|
#
|
2019-08-06 16:36:40 +02:00
|
|
|
# Copyright (C) 2014, 2016-2017, 2019 Gregory Nutt. All rights reserved.
|
2014-08-30 01:21:24 +02:00
|
|
|
# Author: Gregory Nutt <gnutt@nuttx.org>
|
|
|
|
#
|
|
|
|
# Redistribution and use in source and binary forms, with or without
|
|
|
|
# modification, are permitted provided that the following conditions
|
|
|
|
# are met:
|
|
|
|
#
|
|
|
|
# 1. Redistributions of source code must retain the above copyright
|
|
|
|
# notice, this list of conditions and the following disclaimer.
|
|
|
|
# 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
# notice, this list of conditions and the following disclaimer in
|
|
|
|
# the documentation and/or other materials provided with the
|
|
|
|
# distribution.
|
|
|
|
# 3. Neither the name NuttX nor the names of its contributors may be
|
|
|
|
# used to endorse or promote products derived from this software
|
|
|
|
# without specific prior written permission.
|
|
|
|
#
|
|
|
|
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
|
|
# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
|
|
# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
|
|
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
|
|
# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
|
|
|
|
# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
|
|
|
|
# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
|
|
# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
|
|
# POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
#
|
|
|
|
|
2019-08-24 16:43:24 +02:00
|
|
|
WD=`test -d ${0%/*} && cd ${0%/*}; pwd`
|
|
|
|
|
2020-03-20 05:14:26 +01:00
|
|
|
USAGE="USAGE: $0 [options] <board>:<config>+"
|
2014-08-30 01:21:24 +02:00
|
|
|
ADVICE="Try '$0 --help' for more information"
|
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
unset CONFIGS
|
2020-03-19 06:43:30 +01:00
|
|
|
debug=n
|
2017-07-10 17:53:55 +02:00
|
|
|
defaults=n
|
2018-06-29 01:12:30 +02:00
|
|
|
prompt=y
|
2020-03-13 16:44:23 +01:00
|
|
|
nocopy=n
|
2014-08-30 01:21:24 +02:00
|
|
|
|
|
|
|
while [ ! -z "$1" ]; do
|
2020-01-05 17:29:59 +01:00
|
|
|
case $1 in
|
|
|
|
--debug )
|
2020-03-19 06:43:30 +01:00
|
|
|
debug=y
|
2020-01-05 17:29:59 +01:00
|
|
|
;;
|
|
|
|
--silent )
|
|
|
|
defaults=y
|
|
|
|
prompt=n
|
|
|
|
;;
|
|
|
|
--prompt )
|
|
|
|
prompt=y
|
|
|
|
;;
|
|
|
|
--defaults )
|
|
|
|
defaults=y
|
|
|
|
;;
|
2020-03-13 16:44:23 +01:00
|
|
|
--nocopy )
|
|
|
|
nocopy=y
|
|
|
|
;;
|
2020-01-05 17:29:59 +01:00
|
|
|
--help )
|
|
|
|
echo "$0 is a tool for refreshing board configurations"
|
|
|
|
echo ""
|
|
|
|
echo $USAGE
|
|
|
|
echo ""
|
|
|
|
echo "Where [options] include:"
|
|
|
|
echo " --debug"
|
|
|
|
echo " Enable script debug"
|
|
|
|
echo " --silent"
|
|
|
|
echo " Update board configuration without interaction. Implies --defaults."
|
|
|
|
echo " Assumes no prompt for save. Use --silent --prompt to prompt before saving."
|
|
|
|
echo " --prompt"
|
|
|
|
echo " Prompt before updating and overwriting the defconfig file. Default is to"
|
|
|
|
echo " prompt unless --silent"
|
|
|
|
echo " --defaults"
|
|
|
|
echo " Do not prompt for new default selections; accept all recommended default values"
|
2020-03-13 16:44:23 +01:00
|
|
|
echo " --nocopy"
|
|
|
|
echo " Do not copy defconfig from nuttx/boards/<board>/configs to nuttx/.config"
|
2020-01-05 17:29:59 +01:00
|
|
|
echo " --help"
|
|
|
|
echo " Show this help message and exit"
|
|
|
|
echo " <board>"
|
|
|
|
echo " The board directory under nuttx/boards"
|
|
|
|
echo " <config>"
|
|
|
|
echo " The board configuration directory under nuttx/boards/<board>/configs"
|
2020-01-22 21:07:43 +01:00
|
|
|
echo " Note: all configuration is refreshed if <board>:<config> equals all."
|
2020-01-05 17:29:59 +01:00
|
|
|
exit 0
|
|
|
|
;;
|
|
|
|
* )
|
2020-03-20 05:14:26 +01:00
|
|
|
CONFIGS=$*
|
2020-01-05 17:29:59 +01:00
|
|
|
break
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
shift
|
2014-08-30 01:21:24 +02:00
|
|
|
done
|
|
|
|
|
|
|
|
# Where are we
|
|
|
|
|
|
|
|
MYNAME=`basename $0`
|
|
|
|
|
2020-03-13 03:35:18 +01:00
|
|
|
cd $WD
|
2014-08-30 01:21:24 +02:00
|
|
|
if [ -x ./${MYNAME} ] ; then
|
2020-01-05 17:29:59 +01:00
|
|
|
cd .. || { echo "ERROR: cd .. failed" ; exit 1 ; }
|
2014-08-30 01:21:24 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
if [ ! -x tools/${MYNAME} ] ; then
|
2020-01-05 17:29:59 +01:00
|
|
|
echo "ERROR: This file must be executed from the top-level NuttX directory: $PWD"
|
|
|
|
exit 1
|
2014-08-30 01:21:24 +02:00
|
|
|
fi
|
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
# If the cmpconfig executable does not exist, then build it
|
2014-08-30 01:21:24 +02:00
|
|
|
|
|
|
|
CMPCONFIG_TARGET=cmpconfig
|
|
|
|
CMPCONFIG1=tools/cmpconfig
|
|
|
|
CMPCONFIG2=tools/cmpconfig.exe
|
|
|
|
CMPCONFIGMAKEFILE=Makefile.host
|
|
|
|
CMPCONFIGMAKEDIR=tools
|
|
|
|
|
|
|
|
if [ -x ${CMPCONFIG1} ]; then
|
|
|
|
CMPCONFIG=${CMPCONFIG1}
|
|
|
|
else
|
|
|
|
if [ -x ${CMPCONFIG2} ]; then
|
|
|
|
CMPCONFIG=${CMPCONFIG2}
|
|
|
|
else
|
|
|
|
make -C ${CMPCONFIGMAKEDIR} -f ${CMPCONFIGMAKEFILE} ${CMPCONFIG_TARGET} || \
|
|
|
|
{ echo "ERROR: make ${CMPCONFIG1} failed" ; exit 1 ; }
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ -x ${CMPCONFIG1} ]; then
|
|
|
|
CMPCONFIG=${CMPCONFIG1}
|
|
|
|
else
|
|
|
|
if [ -x ${CMPCONFIG2} ]; then
|
|
|
|
CMPCONFIG=${CMPCONFIG2}
|
|
|
|
else
|
|
|
|
echo "ERROR: Failed to create ${CMPCONFIG1}"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
# Get the board configuration
|
|
|
|
|
|
|
|
if [ -z "${CONFIGS}" ]; then
|
|
|
|
echo "ERROR: No configuration provided"
|
|
|
|
echo $USAGE
|
|
|
|
echo $ADVICE
|
|
|
|
exit 1
|
|
|
|
fi
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
if [ "X${CONFIGS}" == "Xall" ]; then
|
|
|
|
CONFIGS=`find boards -name defconfig | cut -d'/' -f4,6`
|
2014-08-30 01:21:24 +02:00
|
|
|
fi
|
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
for CONFIG in ${CONFIGS}; do
|
|
|
|
echo "Refresh ${CONFIG}"
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
# Set up the environment
|
2016-07-28 19:58:40 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
CONFIGSUBDIR=`echo ${CONFIG} | cut -s -d':' -f2`
|
|
|
|
if [ -z "${CONFIGSUBDIR}" ]; then
|
|
|
|
CONFIGSUBDIR=`echo ${CONFIG} | cut -s -d'/' -f2`
|
|
|
|
if [ -z "${CONFIGSUBDIR}" ]; then
|
|
|
|
echo "ERROR: Malformed configuration: ${CONFIG}"
|
|
|
|
echo $USAGE
|
|
|
|
echo $ADVICE
|
|
|
|
exit 1
|
|
|
|
else
|
|
|
|
BOARDSUBDIR=`echo ${CONFIG} | cut -d'/' -f1`
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
BOARDSUBDIR=`echo ${CONFIG} | cut -d':' -f1`
|
|
|
|
fi
|
2016-07-28 19:58:40 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
BOARDDIR=boards/*/*/$BOARDSUBDIR
|
|
|
|
SCRIPTSDIR=$BOARDDIR/scripts
|
|
|
|
MAKEDEFS1=$SCRIPTSDIR/Make.defs
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
CONFIGDIR=$BOARDDIR/configs/$CONFIGSUBDIR
|
|
|
|
DEFCONFIG=$CONFIGDIR/defconfig
|
|
|
|
MAKEDEFS2=$CONFIGDIR/Make.defs
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
# Check the board configuration directory
|
2017-07-10 17:53:55 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
if [ ! -d $BOARDDIR ]; then
|
|
|
|
echo "No board directory found at $BOARDDIR"
|
|
|
|
exit 1
|
|
|
|
fi
|
2017-07-10 17:53:55 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
if [ ! -d $CONFIGDIR ]; then
|
|
|
|
echo "No configuration directory found at $CONFIGDIR"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ ! -r $DEFCONFIG ]; then
|
|
|
|
echo "No readable defconfig file at $DEFCONFIG"
|
|
|
|
exit 1
|
|
|
|
fi
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-03-19 03:56:42 +01:00
|
|
|
if [ -r $MAKEDEFS2 ]; then
|
|
|
|
MAKEDEFS=$MAKEDEFS2
|
2020-01-22 21:07:43 +01:00
|
|
|
else
|
2020-03-19 03:56:42 +01:00
|
|
|
if [ -r $MAKEDEFS1 ]; then
|
|
|
|
MAKEDEFS=$MAKEDEFS1
|
2020-01-22 21:07:43 +01:00
|
|
|
else
|
|
|
|
echo "No readable Make.defs file at $MAKEDEFS1 or $MAKEDEFS2"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
# Copy the .config and Make.defs to the toplevel directory
|
|
|
|
|
|
|
|
rm -f SAVEconfig
|
2020-03-13 16:44:23 +01:00
|
|
|
rm -f SAVEMake.defs
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-03-13 16:44:23 +01:00
|
|
|
if [ "X${nocopy}" != "Xy" ]; then
|
|
|
|
if [ -e .config ]; then
|
|
|
|
mv .config SAVEconfig || \
|
|
|
|
{ echo "ERROR: Failed to move .config to SAVEconfig"; exit 1; }
|
|
|
|
fi
|
2014-08-30 15:00:52 +02:00
|
|
|
|
2020-03-13 16:44:23 +01:00
|
|
|
cp -a $DEFCONFIG .config || \
|
|
|
|
{ echo "ERROR: Failed to copy $DEFCONFIG to .config"; exit 1; }
|
2020-01-22 21:07:43 +01:00
|
|
|
|
2020-03-13 16:44:23 +01:00
|
|
|
if [ -e Make.defs ]; then
|
|
|
|
mv Make.defs SAVEMake.defs || \
|
|
|
|
{ echo "ERROR: Failed to move Make.defs to SAVEMake.defs"; exit 1; }
|
|
|
|
fi
|
2020-01-22 21:07:43 +01:00
|
|
|
|
2020-03-13 16:44:23 +01:00
|
|
|
cp -a $MAKEDEFS Make.defs || \
|
|
|
|
{ echo "ERROR: Failed to copy $MAKEDEFS to Make.defs"; exit 1; }
|
2020-01-22 21:07:43 +01:00
|
|
|
|
2020-03-13 16:44:23 +01:00
|
|
|
# Then run oldconfig or oldefconfig
|
|
|
|
|
|
|
|
if [ "X${defaults}" == "Xy" ]; then
|
2020-03-19 06:43:30 +01:00
|
|
|
if [ "X${debug}" = "Xy" ]; then
|
|
|
|
make olddefconfig V=1
|
|
|
|
else
|
2020-03-20 05:14:26 +01:00
|
|
|
make olddefconfig 1>/dev/null
|
2020-03-19 06:43:30 +01:00
|
|
|
fi
|
2020-03-13 16:44:23 +01:00
|
|
|
else
|
2020-03-19 06:43:30 +01:00
|
|
|
if [ "X${debug}" = "Xy" ]; then
|
|
|
|
make oldconfig V=1
|
|
|
|
else
|
2020-03-20 05:14:26 +01:00
|
|
|
make oldconfig 1>/dev/null
|
2020-03-19 06:43:30 +01:00
|
|
|
fi
|
2020-03-13 16:44:23 +01:00
|
|
|
fi
|
2020-01-22 21:07:43 +01:00
|
|
|
fi
|
|
|
|
|
|
|
|
# Run savedefconfig to create the new defconfig file
|
|
|
|
|
2020-03-19 06:43:30 +01:00
|
|
|
if [ "X${debug}" = "Xy" ]; then
|
|
|
|
make savedefconfig V=1
|
|
|
|
else
|
2020-03-20 05:14:26 +01:00
|
|
|
make savedefconfig 1>/dev/null
|
2020-03-19 06:43:30 +01:00
|
|
|
fi
|
2020-01-22 21:07:43 +01:00
|
|
|
|
|
|
|
# Save the refreshed configuration
|
|
|
|
|
|
|
|
if [ "X${prompt}" == "Xy" ]; then
|
2020-03-19 06:43:30 +01:00
|
|
|
|
|
|
|
# Show differences
|
|
|
|
|
|
|
|
$CMPCONFIG $DEFCONFIG defconfig
|
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
read -p "Save the new configuration (y/n)?" -n 1 -r
|
|
|
|
echo
|
|
|
|
if [[ $REPLY =~ ^[Yy]$ ]]
|
|
|
|
then
|
|
|
|
echo "Saving the new configuration file"
|
|
|
|
mv defconfig $DEFCONFIG || \
|
|
|
|
{ echo "ERROR: Failed to move defconfig to $DEFCONFIG"; exit 1; }
|
|
|
|
chmod 644 $DEFCONFIG
|
|
|
|
fi
|
|
|
|
else
|
2016-03-08 23:50:58 +01:00
|
|
|
echo "Saving the new configuration file"
|
2017-07-10 17:53:55 +02:00
|
|
|
mv defconfig $DEFCONFIG || \
|
|
|
|
{ echo "ERROR: Failed to move defconfig to $DEFCONFIG"; exit 1; }
|
2016-03-08 23:50:58 +01:00
|
|
|
chmod 644 $DEFCONFIG
|
|
|
|
fi
|
2014-08-30 01:21:24 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
# Restore any previous .config and Make.defs files
|
2014-08-30 15:00:52 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
if [ -e SAVEconfig ]; then
|
|
|
|
mv SAVEconfig .config || \
|
|
|
|
{ echo "ERROR: Failed to move SAVEconfig to .config"; exit 1; }
|
|
|
|
fi
|
2016-07-28 19:58:40 +02:00
|
|
|
|
2020-01-22 21:07:43 +01:00
|
|
|
if [ -e SAVEMake.defs ]; then
|
|
|
|
mv SAVEMake.defs Make.defs || \
|
|
|
|
{ echo "ERROR: Failed to move SAVEMake.defs to Make.defs"; exit 1; }
|
|
|
|
fi
|
|
|
|
done
|