From e94b93d5bba5751f420b641cdbcc0cb53fea1dc1 Mon Sep 17 00:00:00 2001 From: Seung-Woo Kim Date: Mon, 4 Jun 2018 13:25:04 +0900 Subject: [PATCH] script: Make get_default_envs.sh script exclude tools/env If building envtools, there is env directory in tools directory. Mafe the get_default_envs.sh script exclude tools/env directory. Signed-off-by: Seung-Woo Kim --- scripts/get_default_envs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/get_default_envs.sh b/scripts/get_default_envs.sh index 2872653..da86a9d 100755 --- a/scripts/get_default_envs.sh +++ b/scripts/get_default_envs.sh @@ -23,7 +23,7 @@ else fi env_obj_file_path=$(find ${path} -path "*/env/*" -not -path "*/spl/*" \ - -name "${ENV_OBJ_FILE}") + -not -path "*/tools/*" -name "${ENV_OBJ_FILE}") [ -z "${env_obj_file_path}" ] && \ { echoerr "File '${ENV_OBJ_FILE}' not found!"; exit 1; }