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.