> 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)