diff options
Diffstat (limited to 'pkg/git/fetch.rc')
| -rw-r--r-- | pkg/git/fetch.rc | 17 |
1 files changed, 0 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,' |
