diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2013-04-29 09:12:15 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2013-04-29 09:12:15 -0600 |
commit | 1a5a20e0528a993dd8d3badf2983ce166939796b (patch) | |
tree | 17acb8246e1e1e997500c3e1a66ac2754ca353a4 | |
parent | 48b81282b855899a602f2af8893a563e460b7b9b (diff) | |
download | px4-nuttx-1a5a20e0528a993dd8d3badf2983ce166939796b.tar.gz px4-nuttx-1a5a20e0528a993dd8d3badf2983ce166939796b.tar.bz2 px4-nuttx-1a5a20e0528a993dd8d3badf2983ce166939796b.zip |
Automatically re-generated configuration variable documentation when NuttX release tarballs are created
-rwxr-xr-x | nuttx/tools/zipme.sh | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/nuttx/tools/zipme.sh b/nuttx/tools/zipme.sh index 61d21c3c7..67a9b1e8f 100755 --- a/nuttx/tools/zipme.sh +++ b/nuttx/tools/zipme.sh @@ -161,7 +161,7 @@ cd ${NUTTX}/Documentation || \ cp -f ../TODO TODO.txt cp -f ../ChangeLog ChangeLog.txt -# Write a version file into the NuttX directoy. The syntax of file is such that it +# Write a version file into the NuttX directory. The syntax of file is such that it # may be sourced by a bash script or included by a Makefile. VERSIONSH=${NUTTX}/tools/version.sh @@ -172,7 +172,23 @@ fi ${VERSIONSH} ${BUILD} -v ${VERSION} ${NUTTX}/.version || \ { echo "${VERSIONSH} failed"; cat ${NUTTX}/.version; exit 1; } -chmod 755 ${NUTTX}/.version +chmod 755 ${NUTTX}/.version || \ + { echo "'chmod 755 ${NUTTX}/.version' failed"; exit 1; } + +# Update the configuration variable documentation + +MKCONFIGVARS=${NUTTX}/tools/mkconfigvars.sh +CONFIGVARHTML=${NUTTX}/Documentation/NuttXConfigVariables.html + +if [ ! -x "${MKCONFIGVARS}" ]; then + echo "No executable script was found at: ${MKCONFIGVARS}" + exit 1 +fi + +${MKCONFIGVARS} ${VERSION} || \ + { echo "${MKCONFIGVARS} failed"; exit 1; } +chmod 644 ${CONFIGVARHTML} || \ + { echo "'chmod 644 ${CONFIGVARHTML}' failed"; exit 1; } # Perform a full clean for the distribution |