> In case reader is not convinced, here $(MAKE) does not refer to the same > ’make’:
Of course it doesn't. The reason I pointed out this detail is because if someone makes the first invocation differently, e.g. with /usr/bin/make hello or, in case of the example Makefile from your last email, with /usr/bin/make guixy I expect the command to fail with missing `/usr/bin/make` (which is indeed not present in the container)
pgp3goNAi7xYC.pgp
Description: OpenPGP digital signature