diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2017-11-02 15:28:52 +0100 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2017-11-02 15:28:52 +0100 |
| commit | 529f6328021b5064a20dfbcf7eaceaab92982bdd (patch) | |
| tree | 5ee86c9fcee5c9d9f527eda608378c0297ac7fe5 | |
| parent | 33083fab3bf2760dbd39cc68711e5e429eae74e7 (diff) | |
| download | turris-myrepo-529f6328021b5064a20dfbcf7eaceaab92982bdd.tar.gz turris-myrepo-529f6328021b5064a20dfbcf7eaceaab92982bdd.tar.bz2 turris-myrepo-529f6328021b5064a20dfbcf7eaceaab92982bdd.zip | |
Try to make setup faster by using rsync instead of rm and cp
| -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 |