Hi, I'd like to have Make to use a shell that executes a specific init file. I tried the following, but it doesn't work:
echo "echo -n Hello">xxx && make SHELL=/bin/bash .SHELLFLAGS="--init-file xxx -i -c" The Makefile may be as simple as: all: ; @echo " World" but I only see: $ make World while I'd expect: $ make Hello World By the way: This works: $ echo "echo -n Hello">xxx && /bin/bash --init-file xxx -i -c "echo \" World\"" Hello World Any ideas? Cheers, Chris _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make