diff --git a/configure b/configure index a692695629..0351300f73 100755 --- a/configure +++ b/configure @@ -171,7 +171,7 @@ assertparams() # absolute_path() { - if [[ "$1" == /* ]]; then + if [ "x$1" != "x${1#/}" ]; then echo "$1" else echo "`pwd`/$1"