I'm assuming you meant universal-applets-extras here.
I assume that when "python" is called in a Makefile, the shell scans the user's $PATH and uses the first instance.
Is there any advantage of using /usr/bin/env over this? (I know about using it in shell scripts, but not in Makefiles)
Whichever we use, it should be consistent in both extras and core.
I'm assuming you meant universal- applets- extras here.
I assume that when "python" is called in a Makefile, the shell scans the user's $PATH and uses the first instance.
Is there any advantage of using /usr/bin/env over this? (I know about using it in shell scripts, but not in Makefiles)
Whichever we use, it should be consistent in both extras and core.