From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 21 Dec 2000 21:56:23 +0000 (+0000)
Subject: Delete configured makefile in "distclean" rule.
X-Git-Tag: 20090517-FFI~3046
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=52e8c7119f37676a3bfd1587487224a4bf6777b0;p=mit-scheme.git

Delete configured makefile in "distclean" rule.
---

diff --git a/v7/src/etc/Clean.sh b/v7/src/etc/Clean.sh
index b48db6c27..3b534aff4 100755
--- a/v7/src/etc/Clean.sh
+++ b/v7/src/etc/Clean.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: Clean.sh,v 1.4 2000/12/08 06:07:23 cph Exp $
+# $Id: Clean.sh,v 1.5 2000/12/21 21:56:23 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -34,7 +34,13 @@ else
 fi
 
 case "${COMMAND}" in
-mostlyclean | clean | distclean)
+mostlyclean | clean)
+    ;;
+distclean)
+    if [ -f Makefile.in ] && [ -f Makefile ]; then
+	echo "rm Makefile"
+	rm Makefile
+    fi
     ;;
 maintainer-clean)
     for FN in .edwin-ffi Clean.sh Makefile Setup.sh Stage.sh Tags.sh; do