diff --git a/tools/mkconfigvars.sh b/tools/mkconfigvars.sh index 49c3442b4f2..7bccefd6532 100755 --- a/tools/mkconfigvars.sh +++ b/tools/mkconfigvars.sh @@ -41,6 +41,7 @@ KCONFIG2HTML2=tools/kconfig2html.exe KCONFIG2MAKEFILE=Makefile.host KCONFIG2MAKEDIR=tools HTMLFILE=Documentation/NuttXConfigVariables.html +BKUPFILE=Documentation/NuttXConfigVariables.bkp # A version argument may be provided @@ -96,6 +97,14 @@ else fi fi +# Keep a backup of the previous HTML file. This is usefully primarily +# for testing the effects of changes. + +if [ -e "${HTMLFILE}" ]; then + rm -f ${BKUPFILE} || { echo "ERROR: Failed to remove ${BKUPFILE}" ; exit 1 ; } + mv ${HTMLFILE} ${BKUPFILE} || { echo "ERROR: Failed to move ${HTMLFILE}" ; exit 1 ; } +fi + # Now re-create the configuration variable document ${KCONFIG2HTML} -a "${APPSDIR}" -o ${HTMLFILE}