diff options
Diffstat (limited to 'deps/woff2/.url')
-rw-r--r-- | deps/woff2/.url | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/deps/woff2/.url b/deps/woff2/.url deleted file mode 100644 index c7e97d3..0000000 --- a/deps/woff2/.url +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -# Define variables: -PKGNAM=woff2 -MYDATE=$(date +%Y%m%d) -GITURI="https://github.com/google/${PKGNAM}.git" - -# Checkout source and create tarball: -rm -rf ${PKGNAM}temp -git clone ${GITURI} ${PKGNAM}temp -cd ${PKGNAM}temp - MYHASH=$(git rev-parse --short=7 HEAD) -cd - 1>/dev/null -mv ${PKGNAM}temp ${PKGNAM}-${MYHASH}_${MYDATE} -tar -Jcf ${PKGNAM}-${MYHASH}_${MYDATE}.tar.xz ${PKGNAM}-${MYHASH}_${MYDATE} -rm -rf ${PKGNAM}-${MYHASH}_${MYDATE} |