Re: [PATCH] Minor improvements in bootstrap script.

[Stefano Lattarini]

At Thursday 10 June 2010, Eric Blake wrote:
> On 06/09/2010 05:01 PM, Stefano Lattarini wrote:
> > * bootstrap: Do not create a temporary file to find the PATH
> > separator.  Consistently use two-spaces indentation.  Also,
> > cosmetic improvement to comments, and bumped copyright years.
> >
> > -# Find the path separator
> > -echo "#! /bin/sh" >boot$$.sh
> > -echo  "exit 0"   >>boot$$.sh
> > -chmod +x boot$$.sh
> > -if (PATH="/nonexistent;."; boot$$.sh) >/dev/null 2>&1; then
> > +# Find the path separator.
> > +if (PATH="/bin;/nonexistent"; export PATH; sh -c :) >/dev/null
> > 2>&1; then
> 
> Will that always work on mingw, where you are not guaranteed the
> existence of /bin/sh?
Honestly, I dind't think that there were systems missing /bin/sh which
could be targets for automake :-(
Anyway, the old bootstrap script too assumed existence of /bin/sh,
since the temporary script `boot$$.sh' contained the shebang line
"#! /bin/sh".  Right?

> Then again, mingw is one of the platforms where you want the
> path separator to be detected as ; rather than :.
True; thus the script still works correctly, even if just by chance.

Regards,
   Stefano