Node:default-make, Next:extract-package, 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.