Mark Galeck <mark_galeck <at> pacbell.net> writes: > > All right, after all I will have to modify Make source code. > David's idea is very good... for recursive Make systems. > Unfortunately in practice, a system like does not just have Make calls itself recursively, that would be > too simple :) > It has Make call various scripts, which then may call Make and so on and so forth... Really, the only > fool-proof way in such cases, to change the shell, is to replace /bin/sh and, it looks like, hack Make a > little bit to make it always call the shell. >
The makefile(s) might be invoking /bin/sh -c '...' in their recipe sections. and here, since you've changed the underlying /bin/sh, maybe it would not work the same way as it was intended to in the "original" (the /bin/sh untouched by you) shell. --Rakesh _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
