Hi,
On Thu, 08 Dec 2022 at 22:30, Wojtek Kosior via <help-guix@gnu.org> wrote:
>> hello:
>> guix shell -C hello make -- $(MAKE) stuff
[...]
> What is the purpose of using `$(MAKE)` over just `make` in the recipe
> in this case? It would only be appropriate if you wanted the same make
> to be used for both the manual and recursive invocation, right?
No specific reason. Initially I wrote without the container option ’-C’
or --pure, so really recursive. But then I checked if it also worked
with the container option ’-C’ and let the old $(MAKE) invocation.
In case reader is not convinced, here $(MAKE) does not refer to the same
’make’:
--8<---------------cut here---------------start------------->8---
$ cat Makefile
stuff:
which make
guixy:
@guix shell -C which make -- $(MAKE) stuff
$ which make
/usr/bin/make
$ make stuff
which make
/usr/bin/make
$ make guixy
which make
/gnu/store/dp8bar2xgzwz1yfm9lcafqn3vhs2cjqc-profile/bin/make
--8<---------------cut here---------------end--------------->8---
Cheers,
simon
