summaryrefslogtreecommitdiff
path: root/misc/pascal
diff options
context:
space:
mode:
Diffstat (limited to 'misc/pascal')
-rwxr-xr-xmisc/pascal/zipme14
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