Manual.md: update description of make_install_args
make_install_args is not set to anything by default. STRIP=true PREFIX=/usr prefix=/usr DESTDIR=${DESTDIR} is set outside of make_install_args for gnu-makefile only.
This commit is contained in:
parent
e14cf6cc7a
commit
f321eaa2a9
|
@ -545,10 +545,8 @@ build methods. Unset by default.
|
|||
`${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile`
|
||||
build methods. Unset by default.
|
||||
|
||||
- `make_install_args` The arguments to be passed in to `${make_cmd}` at the `install-destdir`
|
||||
phase if `${build_style}` is set to `configure`, `gnu-configure` or
|
||||
`gnu-makefile` build methods. By default set to
|
||||
`PREFIX=/usr DESTDIR=${DESTDIR}`.
|
||||
- `make_install_args` The arguments to be passed in to `${make_cmd}` at the `install`
|
||||
phase if `${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile` build methods.
|
||||
|
||||
- `make_build_target` The build target. If `${build_style}` is set to `configure`, `gnu-configure`
|
||||
or `gnu-makefile`, this is the target passed to `${make_cmd}` in the build phase;
|
||||
|
|
Loading…
Reference in New Issue