[Top][All Lists]
[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>
- ltmain.sh patch, Torbjorn Granlund, 2001/01/03
- Re: ltmain.sh patch,
Carlo Wood <=
- Re: ltmain.sh patch, Torbjorn Granlund, 2001/01/04
- Re: ltmain.sh patch, Carlo Wood, 2001/01/04
- Re: ltmain.sh patch, Alexandre Oliva, 2001/01/04
- Re: ltmain.sh patch, Torbjorn Granlund, 2001/01/04
- Re: ltmain.sh patch, Kevin Ryde, 2001/01/04
- Re: ltmain.sh patch, Akim Demaille, 2001/01/11