<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN"> <HTML> <HEAD> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8"> <META NAME="GENERATOR" CONTENT="GtkHTML/3.26.0"> </HEAD> <BODY> On Thu, 2010-12-16 at 22:40 -0500, Trevor Woerner wrote: <BLOCKQUOTE TYPE=CITE> <PRE> On Thu, Dec 16, 2010 at 9:31 PM, Gaetan Nadon <<A HREF="mailto:memsize@videotron.ca">memsize@videotron.ca</A>> wrote: > Currently PREFIX is an internal build.sh variable which is used > to emit the --prefix option to all modules. > > Make this variable part of the public interface and pick-up the value > from the environment. Currently the user is expected to supply the PREFIX on the build.sh command-line. If the user's environment defines a variable named PREFIX and the user supplies the PREFIX on the cmdline, which one is supposed to win? If the environment defines the PREFIX should we remove the requirement to supply it on the cmdline? </PRE> </BLOCKQUOTE> <BR> From my experience, the command line takes precedence over the environment variable. I don't think this is written anywhere, it seems to be a convention. Someone with more UNIX experience can perhaps confirm this. </BODY> </HTML>