18 Mar
2009
18 Mar
'09
4:56 a.m.
Duncan Coutts wrote:
On Tue, 2009-03-17 at 11:09 +0100, Christian Maeder wrote:
./bootstrap.sh: !: not found
Under Solaris sh is not bash!
Indeed.
According to the OpenGroup that syntax should be fine: http://www.opengroup.org/onlinepubs/009695399/utilities/xcu_chap02.html#tag_...
It works for me under Solaris 10. Perhaps Solaris 9 or older do not have a standard compliant /bin/sh program. What do you suggest we use instead as a workaround?
The Isabelle people use "#!/usr/bin/env bash" as first line. Btw I had this problem under Solaris 10 (but I don't know how it was installed). Cheers Christian