From 7690089be97c37000f1a795407be8e6d73f05941 Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Mon, 24 Aug 1992 13:31:00 +0000
Subject: [PATCH] Add unconfig option.

---
 v7/src/microcode/unxutl/makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/v7/src/microcode/unxutl/makefile b/v7/src/microcode/unxutl/makefile
index 7099462bc..698d39810 100644
--- a/v7/src/microcode/unxutl/makefile
+++ b/v7/src/microcode/unxutl/makefile
@@ -1,7 +1,7 @@
 #
 # Makefile for MIT CScheme microcode.
 #
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/makefile,v 1.17 1992/03/17 21:58:14 cph Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/makefile,v 1.18 1992/08/24 13:31:00 jinx Exp $
 #
 CPP = cc -E
 MAKE = make  # BSD doesn't have it as a default.
@@ -66,6 +66,9 @@ clean remove:
 	rm -f usrdef.c bchdef.c usr6003.c usrkit.c usrLYN.c
 	rm -f lint.out
 
+unconfig:
+	rm -f m.h s.h cmpint2.h config.status
+
 tags:
 	etags *.[ch] ../runtime/*.scm
 
-- 
2.25.1