use "checkout -P" to prune empty unused directories

(like cmd/xfe/icons/anim-sgi/)
This commit is contained in:
jwz 1998-06-16 19:10:03 +00:00
Родитель 1d5cfd5c02
Коммит 02aa813c42
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -29,7 +29,7 @@ cd $src_dir
cd ..
# jwz: let's check out "mozilla" instead of merely "MozillaSource".
time cvs -Q -d $CVSROOT checkout mozilla
time cvs -Q -d $CVSROOT checkout -P mozilla
date