diff options
author | Yousong Zhou <yszhou4tech@gmail.com> | 2018-06-28 18:27:27 +0800 |
---|---|---|
committer | Yousong Zhou <yszhou4tech@gmail.com> | 2018-07-05 01:30:57 +0800 |
commit | 04b9f8587370f96366c6e53fb411473279ba7c02 (patch) | |
tree | e94957b40825486a70c170db1fbae225cff9307b /tools | |
parent | e48ea13b3bac5393d6400156ddb066ec5de2ea4e (diff) | |
download | upstream-04b9f8587370f96366c6e53fb411473279ba7c02.tar.gz upstream-04b9f8587370f96366c6e53fb411473279ba7c02.tar.bz2 upstream-04b9f8587370f96366c6e53fb411473279ba7c02.zip |
scripts/dl_github_archive.py: rename from download.py
- Make the code more GitHub-specific
- Requires mirror hash to work with .gitattributes
- Use different API depending on whether PKG_SOURCE_VERSION is a
complete commit id or other ref types like tags
- Fix removing symbolic link
- pre-clean dir_untar for possible leftovers from previous run
Signed-off-by: Yousong Zhou <yszhou4tech@gmail.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions