>Yes this seems to work so far :) In fact I don't have to use //bin/sh . I >can just do ahead of time export MAKEFLAGS='SHELL=<different shell than /bin/sh>'
Until of course, some sub-makefile decided to change MAKEFLAGS internally... overriding the environment _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
