14 lines
223 B
Text
14 lines
223 B
Text
|
#! /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
|
||
|
|
|