From 23948824b2b7d32141009393ee8a63bfa552905f Mon Sep 17 00:00:00 2001
From: Huang Qi <huangqi3@xiaomi.com>
Date: Thu, 18 May 2023 16:59:55 +0800
Subject: [PATCH] tools: Disable wasm build if no wasm runtime enabled

Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
---
 Application.mk | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Application.mk b/Application.mk
index eda44d9f3..121532cdb 100644
--- a/Application.mk
+++ b/Application.mk
@@ -268,4 +268,8 @@ distclean:: clean
 
 WASM_BUILD ?= n
 
-include $(APPDIR)/tools/Wasm.mk
+ifeq ($(WASM_BUILD),y)
+	ifneq ($(CONFIG_INTERPRETERS_WAMR)$(CONFIG_INTERPRETERS_WASM)$(CONFIG_INTERPRETERS_TOYWASM),)
+		include $(APPDIR)/tools/Wasm.mk
+	endif
+endif