From 4f709d86eafc5c80e4abf4839f0965f1078c14e6 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Wed, 27 Jul 1988 22:43:19 +0000
Subject: [PATCH] clean should remove int

---
 util/int/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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)
 
 
-- 
2.34.1