diff options
-rwxr-xr-x | bin/ptxdist | 2 | ||||
-rw-r--r-- | scripts/lib/ptxd_lib_00-init.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 85c5a0197..6e04a7b96 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1222,7 +1222,7 @@ create_docs() { builder="${1}" outdir=${PTXDIST_WORKSPACE}/Documentation - if [ "${PTXDIST_TOPDIR}" = "${PTXDIST_WORKSPACE}" ]; then + if [ "${PTXDIST_TOPDIR}" -ef "${PTXDIST_WORKSPACE}" ]; then srcdir="${PTXDIST_TEMPDIR}/docs" else srcdir="${STATEDIR}/docs" diff --git a/scripts/lib/ptxd_lib_00-init.sh b/scripts/lib/ptxd_lib_00-init.sh index 17ddae614..98a9261f8 100644 --- a/scripts/lib/ptxd_lib_00-init.sh +++ b/scripts/lib/ptxd_lib_00-init.sh @@ -51,7 +51,7 @@ ptxd_init_get_sysroot_base_platform() { ptxd_init_ptxdist_path() { if [ "${PTXDIST_WORKSPACE}" != "${PTXDIST_PLATFORMCONFIGDIR}" ]; then PTXDIST_PATH="${PTXDIST_WORKSPACE}:${PTXDIST_PLATFORMCONFIGDIR}:${PTXDIST_TOPDIR}:" - elif [ "${PTXDIST_WORKSPACE}" != "${PTXDIST_TOPDIR}" ]; then + elif [ ! "${PTXDIST_WORKSPACE}" -ef "${PTXDIST_TOPDIR}" ]; then PTXDIST_PATH="${PTXDIST_WORKSPACE}:${PTXDIST_TOPDIR}:" else PTXDIST_PATH="${PTXDIST_WORKSPACE}:" |