diff options
Diffstat (limited to 'nuttx/tools/zipme.sh')
| -rwxr-xr-x | nuttx/tools/zipme.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/nuttx/tools/zipme.sh b/nuttx/tools/zipme.sh index 382305d68..3200384cf 100755 --- a/nuttx/tools/zipme.sh +++ b/nuttx/tools/zipme.sh @@ -113,8 +113,19 @@ for dir in ${GARBAGEDIRS}; do rm -rf ${NUTTX}/${dir} done +# Make sure that all of the necessary soft links are in place + +cd ${NUTTX}/Documentation || \ + { echo "Failed to cd to ${NUTTX}/Documentation" ; exit 1 ; } + +ln -sf ../TODO TODO.txt +ln -sf ../ChangeLog ChangeLog.txt + # Perform a full clean for the distribution +cd ${PROJECTS} || \ + { echo "Failed to cd to ${PROJECTS}" ; exit 1 ; } + make -C ${NUTTX} distclean # Remove any previous tarballs |