tree f22f6ed40379b6027eea1edbc28c94ba9fbd0f9f
parent 0e0307b0a276246ae1ce35332f464e49d52dc90d
author Inseob Kim <inseob@google.com> 1614255747 +0900
committer Inseob Kim <inseob@google.com> 1614255747 +0900

Allow BOARD_VNDK_VERSION to be changed

Some devices e.g. cuttlefish include BoardConfigMainlineCommon.mk.
This allows BOARD_VNDK_VERSION to be changed other than current, to
allow mixed build experiment with BOARD_VNDK_VERSION.

Test: try setting BOARD_VNDK_VERSION and get_build_var
Change-Id: I7eb7fe6527f24ee2a3b4af32194a48ca98146a78