r1881: *** empty log message ***

[ctsim.git] / make-dist.sh

diff --git a/make-dist.sh b/make-dist.sh
index 536fd69f1d3c322a56ccf1343c6cd902d097ead0..7934db6be0f3c66800f73f91cf206b4f743e712d 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -29,7 +29,7 @@ cp -a ${TOPDIR} ${DISTDIR}
 
 # Remove junk from distribution dir
 pushd ${DISTDIR}
-make distclean
+make clean
 popd
 rm -f `find ${DISTDIR} -type f -name .cvsignore`
 rm -rf `find ${DISTDIR} -type d -name CVS`