diff --git a/tools/zipme.sh b/tools/zipme.sh index 3e2728a4357..f7863c16120 100644 --- a/tools/zipme.sh +++ b/tools/zipme.sh @@ -184,9 +184,6 @@ fi # Perform a full clean for the distribution -cd ${TRUNKDIR} || \ - { echo "Failed to cd to ${TRUNKDIR}" ; exit 1 ; } - echo "Cleaning the repositories" if [ $verbose != 0 ] ; then @@ -197,11 +194,6 @@ fi # Prepare the nuttx directory -# Make sure that versioned copies of certain files are in place - -cd ${NUTTXDIR}/Documentation || \ - { echo "Failed to cd to ${NUTTXDIR}/Documentation" ; exit 1 ; } - # 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.