Add travis to .PHONY.