libtool-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ltmain.sh patch


From: Carlo Wood
Subject: Re: ltmain.sh patch
Date: Thu, 4 Jan 2001 03:28:39 +0100
User-agent: Mutt/1.2.5i

On Wed, Jan 03, 2001 at 11:59:02PM +0100, Torbjorn Granlund wrote:
> This patch allows libtool to work on SunOS 4 systems.
> 
> 2000-12-31  Torbjorn Granlund  <address@hidden>
> 
>       * ltmain.sh: Remove space between `#!' and `$SHELL' when generating
>       `libtool'.
> 
> ***************
> ! #! $SHELL
> --- 3439,3445 ----
> ! #!$SHELL

Although most shells will accept #!/bin/foo, there are systems that
recognize that something is a script by looking at the first
four bytes, using "#! /" as magic "number".

Hence, I think that having the space is more correct than not
having the space.

-- 
Carlo Wood <address@hidden>



reply via email to

[Prev in Thread] Current Thread [Next in Thread]