From 87f725b5d58dcbbee4ae19c5d7180f2545d03692 Mon Sep 17 00:00:00 2001
From: Wang Xin <xin.wang@intel.com>
Date: Fri, 21 Feb 2020 19:45:55 +0800
Subject: [PATCH] ab

---
 wamr-sdk/build_sdk.sh | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/wamr-sdk/build_sdk.sh b/wamr-sdk/build_sdk.sh
index 1f1330e69..60a1d9aa2 100755
--- a/wamr-sdk/build_sdk.sh
+++ b/wamr-sdk/build_sdk.sh
@@ -79,11 +79,6 @@ sysroot_dir=${curr_profile_dir}/app-sdk/libc-builtin-sysroot
 echo "CMAKE_DEXTRA_SDK_INCLUDE_PATH=${CMAKE_DEXTRA_SDK_INCLUDE_PATH}"
 
 
-if [ -z "$PROFILE" ]; then
-    PROFILE="default"
-    echo "PROFILE argument not set, using DEFAULT"
-fi
-
 if [[ "$CLEAN" = "TRUE" ]]; then
     rm -rf ${curr_profile_dir}
 fi
@@ -98,9 +93,16 @@ fi
 # 4. Use the default config cmake file
 #
 if [[ -n "$wamr_config_cmake_file" ]]; then
+	if  [[ ! -f $wamr_config_cmake_file ]]; then
+	   echo "user given file not exist: ${wamr_config_cmake_file}"
+	   exit 1
+	fi
+	
 	echo "User config file: [${wamr_config_cmake_file}]"
+	
 else
-	wamr_config_cmake_file=${curr_profile_dir}/wamr_config_menu.cmake
+	wamr_config_cmake_file=${out_dir}/wamr_config_${PROFILE}.cmake
+	
 	if [[ "$MENUCONFIG" = "TRUE" ]]; then
 		echo "MENUCONFIG: [${wamr_config_cmake_file}]"
 		./menuconfig.sh -x ${wamr_config_cmake_file}