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

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

Switch to INDEX-13 for head/.
This commit is contained in:
delphij 2018-10-25 08:05:53 +00:00
parent ce7bd5df64
commit 55ec975a6a

View File

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