Improve startup times of the build server by caching options results instead of querying each time.
Improve startup times of the build server by caching options results instead of querying each time.