Re: Bash vs. sh

[Joel E. Denny]

On Wed, 26 Mar 2008, Paul Hilfinger wrote:

> The bootstrap file is headed
> 
>     #! /bin/sh
> 
> However, it contains lines such as 
> 
>      if ! "$SHA1SUM" -c --status "$cksum_file" < "$new_po" >  /dev/null; then
> 
> and 
> 
>      if ! test -d "$dst_dir"; then
> 
> In a standard Solaris 10 installation, /bin/sh does not recognize the
> '!' command.  I had to fix this by changing the shell used by
> bootstrap to /bin/bash.

Thanks for the report.  I don't know whether Bison should switch to 
/bin/bash or just weed out Bash-specific code.  This feels like a question 
for Paul Eggert.