package: split tags correctly

This commit is contained in:
Max Weber committed 2020-02-18 18:16:08 -07:00
1 parent 3b0ccfce0a
commit c3432e63f3
1 file changed
+3 -1
+3 -1
View File
@@ -101,7 +101,9 @@ allprojects {
manifest.support = new URL(props["support"])
}
manifest.description = props["description"] ?: null
manifest.tags = props["tags"]?.split() ?: null
if (props["tags"]) {
manifest.tags = props["tags"].split(",")*.trim()
}
manifest.version = project.version
if (!(manifest.version ==~ /^[a-zA-Z0-9.-]+$/)) {