K 10
svn:author
V 2
ru
K 8
svn:date
V 27
2004-08-25T22:06:29.000000Z
K 7
svn:log
V 430
Fix "make world DESTDIR=/mnt" to work again.  A recent change
to make(1) that causes command-line variables to be passed as
command-line variables to sub-processes that make(1) executes
broke it.  By changing the type of all DESTDIR variables used
internally in Makefile.inc1, from environment to command-line
variables of the highest priority, I was able to "make world"
with success, with the command-line variable DESTDIR set.

END