Ticket #13410: Portfile.diff

File Portfile.diff, 380 bytes (added by ebgssth@…, 16 years ago)
  • Portfile

     
    3030        depends_lib-delete      port:mysql5
    3131        depends_lib-append      port:mysql4
    3232}
     33
     34variant mysql5-devel {
     35        patchfiles-delete       patch-setup_posix.py
     36        depends_lib-delete      port:mysql5
     37        depends_lib-append      port:mysql5-devel
     38}
     39