diff options
Diffstat (limited to 'scripts/lib/ptxd_make_world_license.sh')
| -rw-r--r-- | scripts/lib/ptxd_make_world_license.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/lib/ptxd_make_world_license.sh b/scripts/lib/ptxd_make_world_license.sh index a6743c134..ccfaf51d4 100644 --- a/scripts/lib/ptxd_make_world_license.sh +++ b/scripts/lib/ptxd_make_world_license.sh @@ -284,7 +284,7 @@ ptxd_create_section_from_license() { local -A section local orig_IFS="${IFS}" - IFS=$', ' + IFS=$'(), ' for license in ${1}; do local osi="false" @@ -313,6 +313,8 @@ ptxd_create_section_from_license() echo ignore return 0 ;; + AND|OR|WITH|"") + ;; *) section[other]="true" ;; @@ -346,7 +348,7 @@ export -f ptxd_make_world_license_add_flag ptxd_make_world_license_flags() { local orig_IFS="${IFS}" - IFS=$', ' + IFS=$'(), ' for license in ${pkg_license}; do case "${license}" in @@ -360,6 +362,9 @@ ptxd_make_world_license_flags() { nosource|nopatches|attribution) ptxd_make_world_license_add_flag "${license}" ;; + OR) + ptxd_make_world_license_add_flag choice + ;; esac done |