clean should remove int

diff --git a/util/int/Makefile b/util/int/Makefile
index 6444a78..49207b4 100644 (file)
--- 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)