diff --git a/configure b/configure index eccd7dd8c7f..22108f7f88c 100755 --- a/configure +++ b/configure @@ -1,5 +1,13 @@ #!/bin/sh +# /bin/sh on Solaris is not a POSIX compatible shell, but /usr/bin/bash is. +if [ `uname -s` = 'SunOS' -a "${POSIX_SHELL}" != "true" ]; then + POSIX_SHELL="true" + export POSIX_SHELL + exec /usr/bin/env bash $0 "$@" +fi +unset POSIX_SHELL # clear it so if we invoke other scripts, they run as bash as well + msg() { echo "configure: $1" }