aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAntonio Ospite <antonio.ospite@collabora.com>2019-05-26 16:47:46 +0200
committerLaurent Vivier <laurent@vivier.eu>2019-06-26 18:26:54 +0200
commit142118254b1613499b0f180c954b2ba316e086ad (patch)
tree9a8f95049afbc2229f2fd2a47826ed329c28ecff
parent474f3938d79ab36b9231c9ad3b5a9314c2aeacde (diff)
configure: set source_path only once and make its definition more robust
Since commit 79d77bcd36 (configure: Remove --source-path option, 2019-04-29) source_path cannot be overridden anymore, move it out of the "default parameters" block since the word "default" may suggest that the value can change, while in fact it does not. While at it, only set source_path once and separate the positional argument of basename with "--" to more robustly cover the case of path names starting with a dash. Reviewed-by: Eric Blake <eblake@redhat.com> Signed-off-by: Antonio Ospite <antonio.ospite@collabora.com> Message-Id: <20190526144747.30019-2-ao2@ao2.it> Signed-off-by: Laurent Vivier <laurent@vivier.eu>
-rwxr-xr-xconfigure6
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure
index b091b82cb3..b6962d1381 100755
--- a/configure
+++ b/configure
@@ -276,10 +276,10 @@ ld_has() {
$ld --help 2>/dev/null | grep ".$1" >/dev/null 2>&1
}
-# default parameters
-source_path=$(dirname "$0")
# make source path absolute
-source_path=$(cd "$source_path"; pwd)
+source_path=$(cd "$(dirname -- "$0")"; pwd)
+
+# default parameters
cpu=""
iasl="iasl"
interp_prefix="/usr/gnemul/qemu-%M"