The last command listed is /usr/bin/make -C runtime If any thing had been in an actual make command, it should have listed the command, so my guess is that it is that it must be one of the $(shell ...) commands, although when I wrote such a thing which exited with a non-zero, it didn't complain at all. I.e., I'm confused.