tree fc9f75060e910137fa327e0d4044b189b49d4d62
parent 5eb6e248a2bad56492040628ffe53fc0c0df20ab
author Yaowu Xu <yaowu@google.com> 1573240199 -0800
committer Yaowu Xu <yaowu@google.com> 1573251160 +0000

Remove CONFIG_OPTIONS_FILE macro

This commit removes the macro by assuming the value is true.

Change-Id: I73be0f0feeadb853e565e5ad24dd46f7fb0a105c