diff options
Diffstat (limited to 'misc/pascal')
-rwxr-xr-x | misc/pascal/zipme | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/misc/pascal/zipme b/misc/pascal/zipme index 1d9d87194..202be8d8c 100755 --- a/misc/pascal/zipme +++ b/misc/pascal/zipme @@ -5,19 +5,26 @@ DATECODE=$1 TAR="tar cvf" -ZIP=bzip2 +ZIP=gzip + +# This is a list of bad directories that have creapt into the CVS tree +# due to bad imports, renamed directories, etc. + +GARBAGEDIRS="\ + insn32/plopt\ +" # Move up one directory cd .. HOME=`pwd` DIR=${HOME}/pascal -SUBDIR=pascal +SUBDIR=pascal-${DATECODE} # Make sure we know what is going on if [ -z ${DATECODE} ] ; then - echo "You must supply a date code like MMDDYY as a parameter" + echo "You must supply a date code like a.b.c as a parameter" exit 1; fi @@ -34,7 +41,14 @@ fi # Define the ZIP file pathes TAR_NAME=${SUBDIR}-${DATECODE}.tar -ZIP_NAME=${TAR_NAME}.bz2 +ZIP_NAME=${TAR_NAME}.gz + +# Prepare the nuttx directory -- Remove garbage directories + +for dir in ${GARBAGEDIRS}; do + echo "Removing ${NUTTX}/${dir}" + rm -rf ${NUTTX}/${dir} +done # Prepare the directory |