commit 2b0b3d1491c24b858401892ccd1dfc4a23a4cf30
author Inseob Kim <inseob@google.com> Thu Jun 25 22:19:29 2020 +0900
committer Inseob Kim <inseob@google.com> Sat Jun 27 00:18:12 2020 +0900
tree 4bfcc2596815d903761d61958c8aa0291f94eb8e
parent 43774f74c31cfba5589430ae954dbcb2026acb6c

Error if BOARD_VNDK_VERSION=PLATFORM_VNDK_VERSION

"BOARD_VNDK_VERSION := current" should be used instead.

Bug: 159866756
Test: manual
Change-Id: I854ca9c0fa195ab4bbb468a1343ef4fa28ac9258

core/board_config.mk

diff --git a/core/board_config.mk b/core/board_config.mk
index ae1614f..e0bc2f4 100644
--- a/core/board_config.mk
+++ b/core/board_config.mk
@@ -593,6 +593,9 @@
 endef
 
 ifdef BOARD_VNDK_VERSION
+  ifeq ($(BOARD_VNDK_VERSION),$(PLATFORM_VNDK_VERSION))
+    $(error BOARD_VNDK_VERSION is equal to PLATFORM_VNDK_VERSION; use BOARD_VNDK_VERSION := current))
+  endif
   ifneq ($(BOARD_VNDK_VERSION),current)
     $(call check_vndk_version,$(BOARD_VNDK_VERSION))
   endif