Subject: Re: needed when make build
To: Jason Thorpe <>
From: Jim Bernard <>
List: current-users
Date: 10/27/1997 06:20:14
On 10 26, Jason Thorpe wrote:
> On Sun, 26 Oct 1997 22:21:11 -0800 
>  Jonathan Stone <jonathan@DSG.Stanford.EDU> wrote:
>  > I think this is a different problem. There is a bug in the
>  > usr.bin/xlint Makefile that caused it to miss-install the new `lint'.
> The miss-install only happens if DESTDIR is set.  The broken Makefile
> certainly works for me in the common usage (i.e. DESTDIR not set).

  Nope.  I did a build on Saturday from then-current sources without setting
DESTDIR, and lint ended up in / (which I didn't notice until I saw the PR
on it this morning).