tree 66890eb389687ab42d1d3a0a30bf290418660c8c
parent baa74d4b0fcc3bb7f822bdba197a46f5521dbdd2
author Isaac Snow <isaacjsnow@gmail.com> 1555969352 -0700
committer Isaac Snow <isaacjsnow@gmail.com> 1556133156 -0700

build: save options used for building index

Save the options that affect the index that is created in order to know
if we should reindex based on option changes.

Change-Id: I676503e2c32934edae7c594a8ca9ac1b0f72e226