This is not allowed under the GPL, which he is using.
However, if there is other GPLd software in there, and they are relying on the GPL to be able to distribute it, then you are right, they need to comply with the GPL requirement to distribute everything needed to build it (Makefiles etc...).
Disclaimer: IANAL, this is not legal advice.