From 995b4ee3658cf1f0d6145c6030915d9318e57900 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Wed, 27 Dec 2000 18:26:32 +0000
Subject: [PATCH] Not necessary to delete files before installing them.

---
 v7/dist/make-dist-files | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index b0672b1e4..0b80dc885 100755
--- 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
-- 
2.25.1