Re: kernel/1653: Makefile for crunch ignores DESTDIR

[Theo de Raadt <deraadt_(_at_)_cvs_(_dot_)_openbsd_(_dot_)_org>]

The following reply was made to PR kernel/1653; it has been noted by GNATS.

From: Theo de Raadt <deraadt_(_at_)_cvs_(_dot_)_openbsd_(_dot_)_org>
To: gwes_(_at_)_oat_(_dot_)_com
Cc: gnats_(_at_)_openbsd_(_dot_)_org
Subject: Re: kernel/1653: Makefile for crunch ignores DESTDIR 
Date: Sun, 28 Jan 2001 18:19:52 -0700

 That is the entire idea.  crunch-tools are not part of the release. 
 They are only built and installed on a running system, for people who
 need them.  They should not be installed in $DESTDIR.