diff options
-rwxr-xr-x | bin/ptxdist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 4f018520b..a14cfdeac 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2344,6 +2344,9 @@ setup_platform() { project_version="$(ptxd_get_ptxconf PTXCONF_PROJECT_VERSION)" || [ ${?} -eq 1 ] && production="$(ptxd_get_ptxconf PTXCONF_PROJECT_BUILD_PRODUCTION)" || [ ${?} -eq 1 ] || return + # remove space and "(" ")" + project_version="${project_version//[ \(\)]/_}" + local prefix if [ -n "${production}" ]; then if ! prefix="$(ptxd_get_ptxconf PTXCONF_PROJECT_BUILD_PRODUCTION_PREFIX)"; then |