I think it would be useful to have a built-in variable which indicates which makefile GNU make is currently processing. Assuming such built-in variable is named CURRENT_MAKEFILE,
make should set CURRENT_MAKEFILE to GNUmakefile, or makefile, or Makefile (whichever is found first), and make -f mkfile should set CURRENT_MAKEFILE to mkfile _______________________________________________ Bug-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-make
