diff --git a/scripts/get_default_envs.sh b/scripts/get_default_envs.sh index 287265331281469f45f3dca3f0c407482c4cd968..da86a9d69ccc7e0d67c23681c4c375464b3695ed 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; }