scripts/dl_github_archive.py: rename from download.py
authorYousong Zhou <yszhou4tech@gmail.com>
Thu, 28 Jun 2018 10:27:27 +0000 (18:27 +0800)
committerYousong Zhou <yszhou4tech@gmail.com>
Wed, 4 Jul 2018 17:30:57 +0000 (01:30 +0800)
commit04b9f8587370f96366c6e53fb411473279ba7c02
treee94957b40825486a70c170db1fbae225cff9307b
parente48ea13b3bac5393d6400156ddb066ec5de2ea4e
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>
include/download.mk
scripts/dl_github_archive.py [new file with mode: 0755]
scripts/download.py [deleted file]