diff options
Diffstat (limited to 'nuttx/tools/zipme.sh')
-rwxr-xr-x | nuttx/tools/zipme.sh | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/nuttx/tools/zipme.sh b/nuttx/tools/zipme.sh index 0198f6686..706754be7 100755 --- a/nuttx/tools/zipme.sh +++ b/nuttx/tools/zipme.sh @@ -189,23 +189,23 @@ 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 - -cd ${NUTTX} || \ - { echo "Failed to cd to ${NUTTX}" ; exit 1 ; } - -${MKCONFIGVARS} ${DEBUG} ${VERSIONOPT} || \ - { echo "${MKCONFIGVARS} failed"; exit 1; } -chmod 644 ${CONFIGVARHTML} || \ - { echo "'chmod 644 ${CONFIGVARHTML}' failed"; exit 1; } - +# +# 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 +# +# cd ${NUTTX} || \ +# { echo "Failed to cd to ${NUTTX}" ; exit 1 ; } +# +# ${MKCONFIGVARS} ${DEBUG} ${VERSIONOPT} || \ +# { echo "${MKCONFIGVARS} failed"; exit 1; } +# chmod 644 ${CONFIGVARHTML} || \ +# { echo "'chmod 644 ${CONFIGVARHTML}' failed"; exit 1; } +# # Perform a full clean for the distribution cd ${TRUNKDIR} || \ |