How do I diagnose makefile problems?

Run the command:

 make -n 

which will print the commands that would be executed, but does not execute them. This will help you diagnose make file problems, and, if it still doesn't work, you can attach the output to a support request.