diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2013-12-05 09:53:35 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2013-12-05 09:53:43 +0100 |
commit | beea2f01743897840dd19f7c2759317b8e47c465 (patch) | |
tree | f1eefb8f6b8d6517ddb6a7fc879fc8630a6c2ede /scripts/lib/ptxd_lib_00-init.sh | |
parent | 1b4ced7305546c1c888dde98d79c06707981e165 (diff) | |
download | ptxdist-beea2f01743897840dd19f7c2759317b8e47c465.tar.gz ptxdist-beea2f01743897840dd19f7c2759317b8e47c465.tar.xz |
ptxd_init_ptxdist_path: avoid duplicate entries in PTXDIST_PATH
PTXDIST_WORKSPACE and PTXDIST_PLATFORMCONFIGDIR can be the same
e.g. for toolchains.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'scripts/lib/ptxd_lib_00-init.sh')
-rw-r--r-- | scripts/lib/ptxd_lib_00-init.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/lib/ptxd_lib_00-init.sh b/scripts/lib/ptxd_lib_00-init.sh index 2f9294277..058983f65 100644 --- a/scripts/lib/ptxd_lib_00-init.sh +++ b/scripts/lib/ptxd_lib_00-init.sh @@ -49,7 +49,11 @@ ptxd_init_get_sysroot_base_platform() { # # ptxd_init_ptxdist_path() { - PTXDIST_PATH="${PTXDIST_WORKSPACE}:${PTXDIST_PLATFORMCONFIGDIR}:${PTXDIST_TOPDIR}:" + if [ "${PTXDIST_WORKSPACE}" != "${PTXDIST_PLATFORMCONFIGDIR}" ]; then + PTXDIST_PATH="${PTXDIST_WORKSPACE}:${PTXDIST_PLATFORMCONFIGDIR}:${PTXDIST_TOPDIR}:" + else + PTXDIST_PATH="${PTXDIST_WORKSPACE}:${PTXDIST_TOPDIR}:" + fi export PTXDIST_PATH PTXDIST_PATH_PATCHES="${PTXDIST_PATH//://patches:}" |