From: ceriel <none@none>
Date: Wed, 27 Jul 1988 22:43:19 +0000 (+0000)
Subject: clean should remove int
X-Git-Tag: release-5-5~2980
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=4f709d86eafc5c80e4abf4839f0965f1078c14e6;p=ack.git

clean should remove int
---

diff --git a/util/int/Makefile b/util/int/Makefile
index 6444a7887..49207b4e6 100644
--- a/util/int/Makefile
+++ b/util/int/Makefile
@@ -121,12 +121,11 @@ distr:	.distr
 clean:
 	rm -f core mon.out int.mess int.log int.core int.tally \
 		trap_msg warn_msg warn.h tags print \
-		$(OBJ)
+		$(OBJ) $(INT)
 	(cd switch; make clean)
 	(cd switch; make clean)
 
 bare:	clean
-	/bin/rm -f $(INT)
 	(cd switch; make bare)