set -ex
if [ ! -d "webidl2.js" ]; then
git clone https://github.com/w3c/webidl2.js.git
fi
cd webidl2.js
npm install
npm run build-debug
HASH=$(git rev-parse HEAD)
cd ..
cp webidl2.js/dist/webidl2.js lib/
echo "Currently using webidl2.js@${HASH}." > lib/VERSION.md