From 529f6328021b5064a20dfbcf7eaceaab92982bdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz>
Date: Thu, 2 Nov 2017 15:28:52 +0100
Subject: Try to make setup faster by using rsync instead of rm and cp

---
 build_repo.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3