From ead55bc1530914e18b48f80b5d594ffca6306d21 Mon Sep 17 00:00:00 2001 From: Simone Livieri Date: Mon, 20 May 2019 07:07:45 +0900 Subject: fix(configure): remove extra leading '/' --- configure | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/configure b/configure index e64eac28..495a11e3 100755 --- a/configure +++ b/configure @@ -29,7 +29,12 @@ canonicalpath() { else if cd "$(dirname "$1")" >/dev/null 2>&1 then - echo "$PWD/$(basename "$1")" + if [ "$PWD" = "/" ] + then + echo "/$(basename "$1")" + else + echo "$PWD/$(basename "$1")" + fi else echo "$1" fi -- cgit v1.2.3-55-g6feb