Re: Possible bug in Makefile 3.81

[Bob Proulx]

address@hidden wrote:
> all:
>   if [[ -n "string" ]]; then echo "hello"; fi

I am assuming those two spaces are really a single TAB character?
Otherwise make would have complained.

> address@hidden:$ make
> if [[ -n "string" ]]; then echo "hello"; fi
> /bin/sh: [[: not found

What is your /bin/sh?  Is it a symlink to another shell?  If so then
which shell?  I suspect it is not bash 3.2.  Please double check it.

> If I change the Makefile into this new one:
>   if test -n "string" ; then echo "hello"; fi
> ...then everything work ok again.

That tells me that /bin/sh in the first example does not understand
the [[ construct.

> It looks like "make" won't allow bash "[[" built-in to be
> "executed?".

That would be a shell problem.  You should be able to remove make from
the test case by using the shell directly.

  /bin/sh -xc 'if [[ -n "string" ]]; then echo "hello"; fi'

Does that work or fail?

Bob