clean should remove int

This commit is contained in:
ceriel 1988-07-27 22:43:19 +00:00
parent 3ad68743ca
commit 4f709d86ea

View file

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