On Thu, 2017-06-22 at 18:25 +0200, Petr Lautrbach wrote:
> On 06/21/2017 09:51 PM, Stephen Smalley wrote:
> > Hmm...seems like we're still using DESTDIR for more than just
> > install.
> > So either the patch or the patch description isn't quite right.
> > The original usage of make DESTDIR in
On 06/21/2017 09:51 PM, Stephen Smalley wrote:
Hmm...seems like we're still using DESTDIR for more than just install.
So either the patch or the patch description isn't quite right.
The original usage of make DESTDIR in selinux was to support building
and installing to a private directory, so we
On Wed, 2017-06-21 at 20:04 +0200, Petr Lautrbach wrote:
> https://www.gnu.org/prep/standards/html_node/DESTDIR.html
> DESTDIR should be supported only in the install* and uninstall*
> targets, as those are the only targets where it is useful.
If you run make with DESTDIR= set before and after
https://www.gnu.org/prep/standards/html_node/DESTDIR.html
DESTDIR should be supported only in the install* and uninstall*
targets, as those are the only targets where it is useful.
Signed-off-by: Petr Lautrbach
---
checkpolicy/Makefile | 20