diff options
-rw-r--r-- | CREDITS | 4 | ||||
-rwxr-xr-x | bin/ptxdist | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -74,6 +74,10 @@ S: Hannoversche Strasse 2 S: 31134 Hildesheim S: Germany +N: Denis Oliver Kropp +E: dok@directfb.org +D: Developer + N: Christian Gagneraud E: chgans@free.fr E: chgans@gna.org diff --git a/bin/ptxdist b/bin/ptxdist index 1225b8d97..50a2dcc6f 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -982,7 +982,7 @@ setup_platform() { # reread vars with correct PTXDIST_PLATFORMDIR . "${SCRIPTSDIR}/ptxdist_vars.sh" - if [ -e ${PLATFORMCONFIG} ]; then + if [ -e "${PLATFORMCONFIG}" ]; then cfg_dir="$(dirname "$(readlink -f "${PLATFORMCONFIG}")")" else unset cfg_dir @@ -1017,7 +1017,7 @@ setup_config() { # # setup SRCDIR # - if [ -z ${PTXCONF_SETUP_SRCDIR} ]; then + if [ -z "${PTXCONF_SETUP_SRCDIR}" ]; then PTXDIST_SRCDIR="${PTXDIST_WORKSPACE}/src" else PTXDIST_SRCDIR="${PTXCONF_SETUP_SRCDIR}" |