From 2b0b3d1491c24b858401892ccd1dfc4a23a4cf30 Mon Sep 17 00:00:00 2001
From: Inseob Kim <inseob@google.com>
Date: Thu, 25 Jun 2020 22:19:29 +0900
Subject: [PATCH] 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 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/core/board_config.mk b/core/board_config.mk
index ae1614f24f..e0bc2f4e5c 100644
--- a/core/board_config.mk
+++ b/core/board_config.mk
@@ -593,6 +593,9 @@ define check_vndk_version
 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