Subject: Re: /usr/include links and 'make build'
To: Space Case <>
From: Mark Boyns <>
List: current-users
Date: 05/16/1997 07:36:02
15 May 1997 writes:

> So I have two questions:
> Is the behavior (of links) I noted in the first paragraph expected, or
> an anomaly?  And should I really be doing a 'make update' instead of
> editing the master Makefile and doing a 'make build'?

I don't know about the links, but `make UPDATE=1 build' seems to work