Remove script to update jquery.i18n

Followup: 1312b905f2
Change-Id: I96d07b0f1712bf8b697f225c84191b8466fabd98
This commit is contained in:
Kartik Mistry
2017-01-24 23:21:52 +05:30
parent d9b300e697
commit f30a4a0148

View File

@@ -1,22 +0,0 @@
#!/bin/bash
BASEDIR=$(dirname "$0")
BASEDIR="$BASEDIR/.."
DEST="$BASEDIR/lib/jquery.i18n"
CLONEDIR="$BASEDIR/vendor/jquery.i18n"
UPSTREAM="https://github.com/wikimedia/jquery.i18n.git"
echo "Getting latest jquery.i18n from $UPSTREAM"
if [ -d "$CLONEDIR" ]; then
pushd "$CLONEDIR"
git pull
popd
else
git clone "$UPSTREAM" "$CLONEDIR"
fi
rm -rf "$DEST"/*
cp -R "$CLONEDIR"/src/* "$CLONEDIR"/{*LICENSE,CREDITS} "$DEST"