Re: libtool assumes that "file" is in /usr/bin

[Vincent Lefevre]

On 2008-05-08 04:59:25 +0200, Vincent Lefevre wrote:
> On 2008-05-07 21:39:22 -0500, Bob Friesenhahn wrote:
> > On Thu, 8 May 2008, Vincent Lefevre wrote:
> >> Is there any reason why libtool uses "/usr/bin/file" instead of "file"
> >> (/usr/bin being in $PATH)?
> >
> > Some people have claimed that libtool is slow and substantially slows  
> > down their builds.  Using full paths to tools is one way to execute  
> > faster.
> 
> But an exception for "file" (since a problem is known for this
> particular utility) would not change very much the execution time.

BTW, I see:

test -z "$AR" && AR=ar
test -z "$AR_FLAGS" && AR_FLAGS=cru
test -z "$AS" && AS=as
test -z "$CC" && CC=cc
test -z "$LTCC" && LTCC=$CC
test -z "$LTCFLAGS" && LTCFLAGS=$CFLAGS
test -z "$DLLTOOL" && DLLTOOL=dlltool
test -z "$LD" && LD=ld
test -z "$LN_S" && LN_S="ln -s"
test -z "$MAGIC_CMD" && MAGIC_CMD=file
test -z "$NM" && NM=nm
test -z "$SED" && SED=sed
test -z "$OBJDUMP" && OBJDUMP=objdump

So, why would this be different for the "file" utility?

-- 
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)