From d15b3b097d9604cfd355c54997b2508a2fd9f1d6 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Wed, 25 Oct 2006 17:24:32 +0000 Subject: [PATCH] Don't use generic script to delete packaging files. That script's general patterns delete "key-w32.scm" too. --- v7/src/edwin/Clean.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/v7/src/edwin/Clean.sh b/v7/src/edwin/Clean.sh index cbb2b27b6..1262294a7 100755 --- a/v7/src/edwin/Clean.sh +++ b/v7/src/edwin/Clean.sh @@ -1,8 +1,8 @@ #!/bin/sh # -# $Id: Clean.sh,v 1.9 2003/02/14 18:48:11 cph Exp $ +# $Id: Clean.sh,v 1.10 2006/10/25 17:24:32 cph Exp $ # -# Copyright 2000,2001,2002 Massachusetts Institute of Technology +# Copyright 2000,2001,2002,2006 Massachusetts Institute of Technology # # This file is part of MIT/GNU Scheme. # @@ -29,7 +29,7 @@ if [ $# -ne 1 ]; then exit 1 fi -../etc/Clean.sh "${1}" +../etc/Clean.sh "${1}" rm-bin rm-com echo "rm -f edwin-unx.* edwin-w32.* edwin-os2.* edwin.bld" rm -f edwin-unx.* edwin-w32.* edwin-os2.* edwin.bld -- 2.25.1