configure: Fix bashism

Debian uses dash as /bin/sh which doesn't know about [[ ]].
2024-11-23 07:18:40 +01:00 · 2013-09-28 23:58:12 +02:00 · 2013-09-28 23:58:12 +02:00 · 6a4f39545c
commit 6a4f39545c
parent c608fa61f8
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -171,7 +171,7 @@ assertparams()
 #
 absolute_path()
 {
-	if [[ "$1" == /* ]]; then
+	if [ "x$1" != "x${1#/}" ]; then
 		echo "$1"
 	else
 		echo "`pwd`/$1"