Now that the portsnap buildbox is generating the raw bits for INDEX-12,

add it to the set of INDEX files built by portsnap.

Switch to INDEX-12 for head/.
This commit is contained in:
Xin LI 2016-08-14 05:18:38 +00:00
parent aa71e06db5
commit ed1202fc80

View File

@ -32,4 +32,5 @@ KEYPRINT=9b5feee6d69f170e3dd0a2c8e469ddbd64f13f978f2f3aede40c98633216c330
# List of INDEX files to build and the DESCRIBE file to use for each
#INDEX INDEX-9 DESCRIBE.9
#INDEX INDEX-10 DESCRIBE.10
INDEX INDEX-11 DESCRIBE.11
#INDEX INDEX-11 DESCRIBE.11
INDEX INDEX-12 DESCRIBE.12