13 lines
223 B
Bash
13 lines
223 B
Bash
#! /usr/bin/env bash
|
|
|
|
# Can be used as a pre-push hook
|
|
# Just symlink this file to .git/hooks/pre-push
|
|
|
|
set -xe
|
|
|
|
if [ ! -z $(git diff --cached --name-only | grep -e "^grammar.js$") ]
|
|
then
|
|
make build
|
|
make build-wasm
|
|
fi
|
|
|