Re: [B.A.T.M.A.N.] [PATCH 06/14] batctl: Mark makefile targets without output as PHONY