diff options
-rwxr-xr-x | nuttx/tools/mkconfigvars.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/nuttx/tools/mkconfigvars.sh b/nuttx/tools/mkconfigvars.sh index 49c3442b4..7bccefd65 100755 --- a/nuttx/tools/mkconfigvars.sh +++ b/nuttx/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} |