Node:default-make, Next:, Previous:default-configure, Up:Utility Manual



default-make

The default-make executes 06 make or gnu make.

	default-make [-p|-g] [args-for-make ...]
If the -p option is given, 06 make (pmake) is used as a make command. If the -g option is given, gnu make (gmake) is used as a make command. If the option is not given or the are no commands, default make command is used.