From bf0637e4e8c6b43c2fc0e116fd45343f631d9745 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 5 Dec 2000 23:16:51 +0000
Subject: [PATCH] Do equivalent of "distclean" after building "Makefile.in".

---
 v7/src/microcode/makegen/makeinit.sh | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/v7/src/microcode/makegen/makeinit.sh b/v7/src/microcode/makegen/makeinit.sh
index 16d4e2f8f..5d072151b 100755
--- a/v7/src/microcode/makegen/makeinit.sh
+++ b/v7/src/microcode/makegen/makeinit.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: makeinit.sh,v 1.3 2000/12/05 21:46:17 cph Exp $
+# $Id: makeinit.sh,v 1.4 2000/12/05 23:16:51 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -20,9 +20,7 @@
 
 autoheader
 autoconf
-if [ ! -f Makefile.in ]; then
-  touch Makefile.in
-fi
+[ -f Makefile.in ] || touch Makefile.in
 ./configure
 scheme -heap 2000 <<EOF
 (load "makegen/makegen.scm")
@@ -30,4 +28,5 @@ scheme -heap 2000 <<EOF
 		   "Makefile.deps"
 		   "Makefile.in")
 EOF
-./config.status
+rm -f Makefile config.h config.cache config.log config.status
+rm -f cmpauxmd.m4 cmpintmd.h
-- 
2.25.1