Rock-drilling equipment