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:
Xin LI 2018-10-25 08:05:53 +00:00
parent b77aaff9bc
commit afa89716f9
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=339706

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