Subject: re: to prevent DESTDIR=/ by default ...
To: Luke Mewburn <>
From: matthew green <>
List: tech-toolchain
Date: 12/12/2002 11:30:11
   (Whether it's a "top level make target" or a " option" is a
   separate implementation-specific detail).

i think it's better as a make target, then the $DESTDIR, etc., are
available and don't need to be supplied again (if you say "use