diff options
author | Ryan Harkin <ryan.harkin@linaro.org> | 2017-02-06 16:30:20 +0000 |
---|---|---|
committer | Ryan Harkin <ryan.harkin@linaro.org> | 2017-02-23 17:39:09 +0000 |
commit | be651498e21a86019cf9a77b8226ddf2915de839 (patch) | |
tree | 858a068e2d4cd03b3dd42c6caec96d10959da6b5 | |
parent | 8c9138769a17c18eb8b74c162d72caf589f14f15 (diff) |
Fix optee_os make clean
optee_os version 2.3.0 changes the way "make clean" works.
This commit updates the scripts to cope with the change.
Change-Id: Iaeadfe5765669df7cfb8266fb728e7ab08000162
Signed-off-by: Ryan Harkin <ryan.harkin@linaro.org>
-rwxr-xr-x | build-optee-os.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build-optee-os.sh b/build-optee-os.sh index 03702f5..0e61e85 100755 --- a/build-optee-os.sh +++ b/build-optee-os.sh @@ -76,6 +76,11 @@ do_clean () if [ "$OPTEE_BUILD_ENABLED" == "1" ]; then SAVE_PLATFORM=$PLATFORM unset PLATFORM + local optee_plat=OPTEE_PLATFORM + local optee_plat_flavor=OPTEE_FLAVOUR + export PLATFORM=${!optee_plat} + export PLATFORM_FLAVOR=${!optee_plat_flavor} + export CFG_ARM64_core=$OPTEE_OS_AARCH64_CORE pushd $TOP_DIR/$OPTEE_OS_PATH make clean popd |