Ticket #40831: github-1.0.tcl.diff

github-1.0.tcl

@@ -71 +71 @@
     github.tag_prefix       ${gh_tag_prefix}
 
     name                    ${github.project}
+    global subport
+    if {${subport} ne ${github.project}} {
+        global PortInfo
+        set PortInfo(name) ${subport}
+    }
+
     version                 ${github.version}
     homepage                ${github.homepage}
     git.url                 ${github.homepage}.git