> 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
