Node:default-make, Next:extract-package, Previous:default-configure, Up:Utility Manual
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.