Re: Possible bug in Makefile 3.81

[address@hidden]

Hmm.. you are right.

I had this problem with a brand new installation of Ubuntu 7.10.

It turns out that "/bin/sh" in 7.10 points to "/bin/dash".

It is DASH the one causing all the trouble:


address@hidden:$ /bin/bash -xc 'if [[ -n "string" ]]; then echo "hello";
fi'
+ [[ -n string ]]
+ echo hello
hello

address@hidden:$ /bin/dash -xc 'if [[ -n "string" ]]; then echo "hello";
fi'
+ [[ -n string ]]
/bin/dash: [[: not found



So nothing new here (I guess).

Sorry for all the trouble.