diff options
author | Seung-Woo Kim <sw0312.kim@samsung.com> | 2018-06-04 13:25:04 +0900 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2018-06-07 20:06:29 -0400 |
commit | e94b93d5bba5751f420b641cdbcc0cb53fea1dc1 (patch) | |
tree | 6ff3fb745704337999f4afdaac2f7757e00feb35 /scripts/get_default_envs.sh | |
parent | b5e0e360fdcf9e2ad5680ddfcde187d953880551 (diff) |
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 <sw0312.kim@samsung.com>
Diffstat (limited to 'scripts/get_default_envs.sh')
-rwxr-xr-x | scripts/get_default_envs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get_default_envs.sh b/scripts/get_default_envs.sh index 28726533128..da86a9d69cc 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; } |