tree 7e9a19bba8f677c7b1316418831a8cb4e621c12d
parent 8a7a62c73a98eaf5bcdd02b8da8aab5467891bf1
author Advait Jain <advaitjain@users.noreply.github.com> 1617044945 -0700
committer Advait Jain <advaitjain@users.noreply.github.com> 1617045142 -0700

Check that OPTIMIZED_KERNEL_DIR command line option is valid.

See http://b/183546742 for more details.