diff --git a/scripts/purge-stale-projects.sh b/scripts/purge-stale-projects.sh index d0696203..750c1b6b 100644 --- a/scripts/purge-stale-projects.sh +++ b/scripts/purge-stale-projects.sh @@ -74,6 +74,7 @@ for p in $local_cvs_proj; do if ! make -C $p distclean; then echo "distclean failed, ignoring"; fi if ! make -C $p clean; then echo "clean failed, ignoring"; fi mv $p $n + sed -i "/\/$p\// d" CVS/Entries purged="$purged $p" done