diff options
-rwxr-xr-x | build_repo.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_repo.sh b/build_repo.sh index 9ee814e..e57a779 100755 --- a/build_repo.sh +++ b/build_repo.sh @@ -24,7 +24,7 @@ pull_sdk() { fi # Copy clean sdk rm -rf .$1-sdk - cp -a .$1-sdk-clean .$1-sdk + rsync -aW --inplace --delete .$1-sdk-clean/ .$1-sdk/ } if [ "$BOARD" = "omnia" ] || [ "$BOARD" = "all" ]; then |