Not necessary to delete files before installing them.

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index b0672b1e41327daf1990fc2c8f82c3ec9c8829ea..0b80dc885e30c8bb9528f1b3e5a9d870ab74be01 100755 (executable)
--- a/v7/dist/make-dist-files
+++ b/v7/dist/make-dist-files
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: make-dist-files,v 1.9 2000/12/23 06:04:02 cph Exp $
+# $Id: make-dist-files,v 1.10 2000/12/27 18:26:32 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -145,7 +145,6 @@ make_tarfile ()
 if [ "${DESTINATION}" = "" ]; then
   PRE="`/scheme/v7/dist/release-prefix`-ix86"
   make_tarfile "${PRE}-gnu-linux"
-  rm -f ${BUILD_DIR}/bin/*
   ${INSTALL} /scheme/v7/dist/freebsd-bin/* ${BINDIR}/.
   make_tarfile "${PRE}-freebsd"
 else