Changeset 112568


Ignore:
Timestamp:
Oct 26, 2013, 1:03:41 PM (7 years ago)
Author:
cal@…
Message:

Generate server-side PortIndex for Mavericks

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/base/portmgr/jobs/mprsyncup

    r108147 r112568  
    5656
    5757# platforms we generate indexes for
    58 PLATFORMS="8_powerpc 8_i386 9_powerpc 9_i386 10_i386 11_i386 12_i386"
     58$PLATFORMS="8_powerpc 8_i386 9_powerpc 9_i386 10_i386 11_i386 12_i386 13_i386"
    5959
    6060# Sources information:
Note: See TracChangeset for help on using the changeset viewer.