diff options
Diffstat (limited to 'misc/pascal')
-rwxr-xr-x | misc/pascal/zipme | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/misc/pascal/zipme b/misc/pascal/zipme index d4ed19d62..06017df52 100755 --- a/misc/pascal/zipme +++ b/misc/pascal/zipme @@ -7,13 +7,6 @@ DATECODE=$1 TAR="tar cvf" 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 .. @@ -43,13 +36,6 @@ fi TAR_NAME=${SUBDIR}.tar ZIP_NAME=${TAR_NAME}.gz -# Prepare the nuttx directory -- Remove garbage directories - -for dir in ${GARBAGEDIRS}; do - echo "Removing ${SUBDIR}/${dir}" - rm -rf ${SUBDIR}/${dir} -done - # Prepare the directory make -C ${SUBDIR} deep-clean |