diff options
Diffstat (limited to 'pkg/git')
| -rw-r--r-- | pkg/git/fetch.rc | 17 | ||||
| -rw-r--r-- | pkg/git/fetch.sh | 18 |
2 files changed, 18 insertions, 17 deletions
diff --git a/pkg/git/fetch.rc b/pkg/git/fetch.rc deleted file mode 100644 index bec188d5..00000000 --- a/pkg/git/fetch.rc +++ /dev/null @@ -1,17 +0,0 @@ -flag e + - -@ . ./scripts/fetch-git.rc $* - -cd $1 -shift - -if([ -e src/man ]) - rm -rf src/man - -if(! sha256sum -c sha256 >[2]/dev/null) { - curl -L -O -K url - sha256sum -c sha256 -} - -archive=`{awk '{print $2}' sha256} -xzcat $archive | pax -r -s ',^\.,src/man,' diff --git a/pkg/git/fetch.sh b/pkg/git/fetch.sh new file mode 100644 index 00000000..289daf1f --- /dev/null +++ b/pkg/git/fetch.sh @@ -0,0 +1,18 @@ +set -e + +(. ./scripts/fetch-git.sh "$@") + +cd "$1" +shift + +if [ -e src/man ] ; then + rm -rf src/man +fi + +if ! sha256sum -c sha256 2>/dev/null ; then + curl -L -O -K url + sha256sum -c sha256 +fi + +read -r checksum archive <sha256 +xzcat "$archive" | pax -r -s ',^\.,src/man,' |
